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) | 11 | 1800.02 | 1795.25 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
| MD5SUM | cdfa46b59876181d5d89fd18757b8cfb |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1790.16 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 66 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| 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 | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4329 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.00/0.07 c version 2.3.2.v20120418 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.07 c java.vm.version 19.1-b02 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 64 0.00/0.07 c java.version 1.6.0_24 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.07 c os.arch amd64 0.00/0.07 c Free memory 501472288 0.00/0.07 c Max memory 7480803328 0.00/0.07 c Total memory 504102912 0.00/0.07 c Number of processors 8 0.11/0.10 c read org.sat4j.minisat.orders.VarOrderHeap 0.11/0.10 c configuring ORDERS 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=true 0.11/0.11 c Heuristics kept accross calls (keep the solver "hot") 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3710832-1338153897.opb 0.11/0.11 c reading problem ... 0.11/0.15 c ... done. Wall clock time 0.039s. 0.11/0.15 c declared #vars 146 0.11/0.15 c #constraints 12 0.11/0.15 c constraints type 0.11/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12 0.11/0.15 c 12 constraints processed. 0.11/0.15 c SATISFIABLE 0.11/0.15 c OPTIMIZING... 0.11/0.15 c Got one! Elapsed wall clock time (in seconds):0.046 0.11/0.15 o 1026 0.11/0.19 c Got one! Elapsed wall clock time (in seconds):0.084 0.11/0.19 o 1025 0.29/0.20 c Got one! Elapsed wall clock time (in seconds):0.094 0.29/0.20 o 1001 0.29/0.21 c Got one! Elapsed wall clock time (in seconds):0.101 0.29/0.21 o 999 0.29/0.21 c Got one! Elapsed wall clock time (in seconds):0.105 0.29/0.21 o 991 0.29/0.22 c Got one! Elapsed wall clock time (in seconds):0.11 0.29/0.22 o 989 0.29/0.22 c Got one! Elapsed wall clock time (in seconds):0.116 0.29/0.22 o 987 0.29/0.23 c Got one! Elapsed wall clock time (in seconds):0.121 0.29/0.23 o 977 0.29/0.24 c Got one! Elapsed wall clock time (in seconds):0.129 0.29/0.24 o 931 0.29/0.24 c Got one! Elapsed wall clock time (in seconds):0.138 0.29/0.24 o 929 0.29/0.25 c Got one! Elapsed wall clock time (in seconds):0.14 0.29/0.25 o 897 0.29/0.26 c Got one! Elapsed wall clock time (in seconds):0.152 0.29/0.26 o 895 0.29/0.26 c Got one! Elapsed wall clock time (in seconds):0.154 0.29/0.26 o 891 0.29/0.26 c Got one! Elapsed wall clock time (in seconds):0.156 0.29/0.26 o 867 0.29/0.26 c Got one! Elapsed wall clock time (in seconds):0.158 0.29/0.26 o 865 0.29/0.27 c Got one! Elapsed wall clock time (in seconds):0.159 0.29/0.27 o 863 0.29/0.27 c Got one! Elapsed wall clock time (in seconds):0.161 0.29/0.27 o 811 0.29/0.27 c Got one! Elapsed wall clock time (in seconds):0.163 0.29/0.27 o 809 0.29/0.27 c Got one! Elapsed wall clock time (in seconds):0.165 0.29/0.27 o 807 0.29/0.27 c Got one! Elapsed wall clock time (in seconds):0.168 0.29/0.27 o 805 0.29/0.28 c Got one! Elapsed wall clock time (in seconds):0.177 0.29/0.28 o 803 0.29/0.28 c Got one! Elapsed wall clock time (in seconds):0.179 0.29/0.29 o 777 0.29/0.29 c Got one! Elapsed wall clock time (in seconds):0.185 0.29/0.29 o 773 0.29/0.29 c Got one! Elapsed wall clock time (in seconds):0.187 0.29/0.29 o 771 0.57/0.30 c Got one! Elapsed wall clock time (in seconds):0.19 0.57/0.30 o 769 0.57/0.30 c Got one! Elapsed wall clock time (in seconds):0.196 0.57/0.30 o 767 0.57/0.30 c Got one! Elapsed wall clock time (in seconds):0.197 0.57/0.30 o 765 0.57/0.30 c Got one! Elapsed wall clock time (in seconds):0.199 0.57/0.30 o 759 0.57/0.31 c Got one! Elapsed wall clock time (in seconds):0.2 0.57/0.31 o 757 0.57/0.31 c Got one! Elapsed wall clock time (in seconds):0.202 0.57/0.31 o 751 0.57/0.31 c Got one! Elapsed wall clock time (in seconds):0.203 0.57/0.31 o 727 0.57/0.31 c Got one! Elapsed wall clock time (in seconds):0.205 0.57/0.31 o 723 0.57/0.31 c Got one! Elapsed wall clock time (in seconds):0.207 0.57/0.31 o 721 0.57/0.32 c Got one! Elapsed wall clock time (in seconds):0.211 0.57/0.32 o 719 0.57/0.32 c Got one! Elapsed wall clock time (in seconds):0.213 0.57/0.32 o 717 0.57/0.32 c Got one! Elapsed wall clock time (in seconds):0.215 0.57/0.32 o 715 0.57/0.32 c Got one! Elapsed wall clock time (in seconds):0.216 0.57/0.32 o 713 0.57/0.32 c Got one! Elapsed wall clock time (in seconds):0.218 0.57/0.32 o 709 0.57/0.33 c Got one! Elapsed wall clock time (in seconds):0.219 0.57/0.33 o 707 0.57/0.33 c Got one! Elapsed wall clock time (in seconds):0.22 0.57/0.33 o 701 0.57/0.33 c Got one! Elapsed wall clock time (in seconds):0.221 0.57/0.33 o 695 0.57/0.33 c Got one! Elapsed wall clock time (in seconds):0.223 0.57/0.33 o 693 0.57/0.33 c Got one! Elapsed wall clock time (in seconds):0.224 0.57/0.33 o 691 0.57/0.33 c Got one! Elapsed wall clock time (in seconds):0.226 0.57/0.33 o 689 0.57/0.33 c Got one! Elapsed wall clock time (in seconds):0.228 0.57/0.33 o 687 0.57/0.34 c Got one! Elapsed wall clock time (in seconds):0.23 0.57/0.34 o 686 0.57/0.34 c Got one! Elapsed wall clock time (in seconds):0.232 0.57/0.34 o 684 0.57/0.34 c Got one! Elapsed wall clock time (in seconds):0.234 0.57/0.34 o 682 0.57/0.34 c Got one! Elapsed wall clock time (in seconds):0.235 0.57/0.34 o 658 0.57/0.34 c Got one! Elapsed wall clock time (in seconds):0.238 0.57/0.34 o 656 0.57/0.35 c Got one! Elapsed wall clock time (in seconds):0.242 0.57/0.35 o 650 0.57/0.35 c Got one! Elapsed wall clock time (in seconds):0.247 0.57/0.35 o 648 0.57/0.36 c Got one! Elapsed wall clock time (in seconds):0.249 0.57/0.36 o 646 0.57/0.36 c Got one! Elapsed wall clock time (in seconds):0.251 0.57/0.36 o 644 0.57/0.36 c Got one! Elapsed wall clock time (in seconds):0.254 0.57/0.36 o 642 0.57/0.36 c Got one! Elapsed wall clock time (in seconds):0.256 0.57/0.36 o 640 0.57/0.37 c Got one! Elapsed wall clock time (in seconds):0.268 0.57/0.37 o 639 0.57/0.38 c Got one! Elapsed wall clock time (in seconds):0.27 0.57/0.38 o 638 0.57/0.38 c Got one! Elapsed wall clock time (in seconds):0.272 0.57/0.38 o 636 0.57/0.38 c Got one! Elapsed wall clock time (in seconds):0.273 0.57/0.38 o 568 0.57/0.38 c Got one! Elapsed wall clock time (in seconds):0.276 0.57/0.38 o 566 0.57/0.38 c Got one! Elapsed wall clock time (in seconds):0.277 0.57/0.38 o 564 0.57/0.38 c Got one! Elapsed wall clock time (in seconds):0.279 0.57/0.38 o 560 0.57/0.39 c Got one! Elapsed wall clock time (in seconds):0.28 0.57/0.39 o 558 0.57/0.39 c Got one! Elapsed wall clock time (in seconds):0.281 0.57/0.39 o 554 0.57/0.39 c Got one! Elapsed wall clock time (in seconds):0.283 0.57/0.39 o 512 0.57/0.39 c Got one! Elapsed wall clock time (in seconds):0.284 0.57/0.39 o 510 0.57/0.39 c Got one! Elapsed wall clock time (in seconds):0.286 0.57/0.39 o 506 0.57/0.39 c Got one! Elapsed wall clock time (in seconds):0.289 0.57/0.39 o 504 0.86/0.40 c Got one! Elapsed wall clock time (in seconds):0.29 0.86/0.40 o 502 0.86/0.40 c Got one! Elapsed wall clock time (in seconds):0.293 0.86/0.40 o 500 0.86/0.40 c Got one! Elapsed wall clock time (in seconds):0.294 0.86/0.40 o 496 0.86/0.40 c Got one! Elapsed wall clock time (in seconds):0.295 0.86/0.40 o 492 0.86/0.40 c Got one! Elapsed wall clock time (in seconds):0.297 0.86/0.40 o 488 0.86/0.40 c Got one! Elapsed wall clock time (in seconds):0.298 0.86/0.40 o 486 0.86/0.41 c Got one! Elapsed wall clock time (in seconds):0.3 0.86/0.41 o 484 0.86/0.41 c Got one! Elapsed wall clock time (in seconds):0.301 0.86/0.41 o 482 0.86/0.41 c Got one! Elapsed wall clock time (in seconds):0.304 0.86/0.41 o 480 0.86/0.41 c Got one! Elapsed wall clock time (in seconds):0.306 0.86/0.41 o 466 0.86/0.41 c Got one! Elapsed wall clock time (in seconds):0.308 0.86/0.41 o 464 0.86/0.42 c Got one! Elapsed wall clock time (in seconds):0.309 0.86/0.42 o 462 0.86/0.42 c Got one! Elapsed wall clock time (in seconds):0.31 0.86/0.42 o 460 0.86/0.42 c Got one! Elapsed wall clock time (in seconds):0.313 0.86/0.42 o 458 0.86/0.43 c Got one! Elapsed wall clock time (in seconds):0.319 0.86/0.43 o 456 0.86/0.43 c Got one! Elapsed wall clock time (in seconds):0.321 0.86/0.43 o 448 0.86/0.43 c Got one! Elapsed wall clock time (in seconds):0.324 0.86/0.43 o 444 0.86/0.43 c Got one! Elapsed wall clock time (in seconds):0.326 0.86/0.43 o 442 0.86/0.43 c Got one! Elapsed wall clock time (in seconds):0.328 0.86/0.43 o 440 0.86/0.44 c Got one! Elapsed wall clock time (in seconds):0.33 0.86/0.44 o 436 0.86/0.44 c Got one! Elapsed wall clock time (in seconds):0.331 0.86/0.44 o 434 0.86/0.44 c Got one! Elapsed wall clock time (in seconds):0.334 0.86/0.44 o 432 0.86/0.44 c Got one! Elapsed wall clock time (in seconds):0.336 0.86/0.44 o 430 0.86/0.44 c Got one! Elapsed wall clock time (in seconds):0.337 0.86/0.44 o 428 0.86/0.45 c Got one! Elapsed wall clock time (in seconds):0.346 0.86/0.45 o 427 0.86/0.46 c Got one! Elapsed wall clock time (in seconds):0.354 0.86/0.46 o 425 0.86/0.46 c Got one! Elapsed wall clock time (in seconds):0.356 0.86/0.46 o 419 0.86/0.46 c Got one! Elapsed wall clock time (in seconds):0.357 0.86/0.46 o 417 0.86/0.47 c Got one! Elapsed wall clock time (in seconds):0.36 0.86/0.47 o 415 0.86/0.47 c Got one! Elapsed wall clock time (in seconds):0.361 0.86/0.47 o 413 0.86/0.47 c Got one! Elapsed wall clock time (in seconds):0.363 0.86/0.47 o 405 0.86/0.47 c Got one! Elapsed wall clock time (in seconds):0.365 0.86/0.47 o 403 0.86/0.47 c Got one! Elapsed wall clock time (in seconds):0.366 0.86/0.47 o 401 0.86/0.47 c Got one! Elapsed wall clock time (in seconds):0.369 0.86/0.47 o 399 0.86/0.48 c Got one! Elapsed wall clock time (in seconds):0.37 0.86/0.48 o 397 0.86/0.48 c Got one! Elapsed wall clock time (in seconds):0.374 0.86/0.48 o 395 0.86/0.48 c Got one! Elapsed wall clock time (in seconds):0.376 0.86/0.48 o 393 0.86/0.49 c Got one! Elapsed wall clock time (in seconds):0.386 0.86/0.49 o 392 1.10/0.50 c Got one! Elapsed wall clock time (in seconds):0.394 1.10/0.50 o 390 1.10/0.50 c Got one! Elapsed wall clock time (in seconds):0.396 1.10/0.50 o 388 1.10/0.51 c Got one! Elapsed wall clock time (in seconds):0.403 1.10/0.51 o 387 1.10/0.51 c Got one! Elapsed wall clock time (in seconds):0.407 1.10/0.51 o 385 1.10/0.51 c Got one! Elapsed wall clock time (in seconds):0.409 1.10/0.51 o 383 1.10/0.52 c Got one! Elapsed wall clock time (in seconds):0.411 1.10/0.52 o 381 1.10/0.52 c Got one! Elapsed wall clock time (in seconds):0.412 1.10/0.52 o 379 1.10/0.52 c Got one! Elapsed wall clock time (in seconds):0.413 1.10/0.52 o 375 1.10/0.52 c Got one! Elapsed wall clock time (in seconds):0.417 1.10/0.52 o 373 1.10/0.52 c Got one! Elapsed wall clock time (in seconds):0.418 1.10/0.52 o 371 1.10/0.53 c Got one! Elapsed wall clock time (in seconds):0.423 1.10/0.53 o 369 1.10/0.53 c Got one! Elapsed wall clock time (in seconds):0.424 1.10/0.53 o 367 1.10/0.53 c Got one! Elapsed wall clock time (in seconds):0.426 1.10/0.53 o 365 1.10/0.53 c Got one! Elapsed wall clock time (in seconds):0.427 1.10/0.53 o 363 1.10/0.54 c Got one! Elapsed wall clock time (in seconds):0.429 1.10/0.54 o 361 1.10/0.54 c Got one! Elapsed wall clock time (in seconds):0.43 1.10/0.54 o 359 1.10/0.54 c Got one! Elapsed wall clock time (in seconds):0.432 1.10/0.54 o 355 1.10/0.54 c Got one! Elapsed wall clock time (in seconds):0.433 1.10/0.54 o 353 1.10/0.54 c Got one! Elapsed wall clock time (in seconds):0.435 1.10/0.54 o 351 1.10/0.54 c Got one! Elapsed wall clock time (in seconds):0.438 1.10/0.54 o 347 1.10/0.55 c Got one! Elapsed wall clock time (in seconds):0.441 1.10/0.55 o 345 1.10/0.55 c Got one! Elapsed wall clock time (in seconds):0.442 1.10/0.55 o 343 1.10/0.55 c Got one! Elapsed wall clock time (in seconds):0.444 1.10/0.55 o 339 1.10/0.55 c Got one! Elapsed wall clock time (in seconds):0.449 1.10/0.55 o 337 1.10/0.56 c Got one! Elapsed wall clock time (in seconds):0.451 1.10/0.56 o 335 1.10/0.56 c Got one! Elapsed wall clock time (in seconds):0.455 1.10/0.56 o 333 1.10/0.56 c Got one! Elapsed wall clock time (in seconds):0.457 1.10/0.56 o 331 1.10/0.57 c Got one! Elapsed wall clock time (in seconds):0.466 1.10/0.57 o 329 1.10/0.58 c Got one! Elapsed wall clock time (in seconds):0.47 1.10/0.58 o 327 1.10/0.58 c Got one! Elapsed wall clock time (in seconds):0.472 1.10/0.58 o 325 1.10/0.58 c Got one! Elapsed wall clock time (in seconds):0.474 1.10/0.58 o 305 1.10/0.58 c Got one! Elapsed wall clock time (in seconds):0.477 1.10/0.58 o 303 1.10/0.59 c Got one! Elapsed wall clock time (in seconds):0.482 1.10/0.59 o 301 1.10/0.59 c Got one! Elapsed wall clock time (in seconds):0.487 1.10/0.59 o 299 1.10/0.59 c Got one! Elapsed wall clock time (in seconds):0.489 1.10/0.59 o 296 1.20/0.60 c Got one! Elapsed wall clock time (in seconds):0.491 1.20/0.60 o 294 1.20/0.61 c Got one! Elapsed wall clock time (in seconds):0.501 1.20/0.61 o 292 1.20/0.61 c Got one! Elapsed wall clock time (in seconds):0.504 1.20/0.61 o 290 1.20/0.61 c Got one! Elapsed wall clock time (in seconds):0.505 1.20/0.61 o 240 1.20/0.61 c Got one! Elapsed wall clock time (in seconds):0.508 1.20/0.61 o 232 1.20/0.62 c Got one! Elapsed wall clock time (in seconds):0.51 1.20/0.62 o 198 1.20/0.62 c Got one! Elapsed wall clock time (in seconds):0.515 1.20/0.62 o 196 1.20/0.62 c Got one! Elapsed wall clock time (in seconds):0.517 1.20/0.62 o 144 1.20/0.63 c Got one! Elapsed wall clock time (in seconds):0.524 1.20/0.63 o 142 1.20/0.63 c Got one! Elapsed wall clock time (in seconds):0.526 1.20/0.63 o 140 1.20/0.63 c Got one! Elapsed wall clock time (in seconds):0.528 1.20/0.63 o 138 1.20/0.64 c Got one! Elapsed wall clock time (in seconds):0.53 1.20/0.64 o 136 1.20/0.64 c Got one! Elapsed wall clock time (in seconds):0.531 1.20/0.64 o 134 1.20/0.64 c Got one! Elapsed wall clock time (in seconds):0.533 1.20/0.64 o 124 1.20/0.64 c Got one! Elapsed wall clock time (in seconds):0.536 1.20/0.64 o 122 1.20/0.64 c Got one! Elapsed wall clock time (in seconds):0.537 1.20/0.64 o 116 1.20/0.65 c Got one! Elapsed wall clock time (in seconds):0.543 1.20/0.65 o 112 1.20/0.65 c Got one! Elapsed wall clock time (in seconds):0.547 1.20/0.65 o 110 1.20/0.66 c Got one! Elapsed wall clock time (in seconds):0.556 1.20/0.66 o 108 1.20/0.66 c Got one! Elapsed wall clock time (in seconds):0.558 1.20/0.66 o 106 1.20/0.67 c Got one! Elapsed wall clock time (in seconds):0.561 1.20/0.67 o 104 1.20/0.67 c Got one! Elapsed wall clock time (in seconds):0.563 1.20/0.67 o 102 1.30/0.71 c Got one! Elapsed wall clock time (in seconds):0.604 1.30/0.71 o 101 1.30/0.71 c Got one! Elapsed wall clock time (in seconds):0.607 1.30/0.71 o 99 1.30/0.71 c Got one! Elapsed wall clock time (in seconds):0.608 1.30/0.71 o 93 1.30/0.72 c Got one! Elapsed wall clock time (in seconds):0.613 1.30/0.72 o 91 1.30/0.72 c Got one! Elapsed wall clock time (in seconds):0.617 1.30/0.72 o 89 1.30/0.72 c Got one! Elapsed wall clock time (in seconds):0.618 1.30/0.72 o 87 1.30/0.74 c Got one! Elapsed wall clock time (in seconds):0.635 1.30/0.74 o 85 1.30/0.75 c Got one! Elapsed wall clock time (in seconds):0.643 1.30/0.75 o 83 1.30/0.78 c Got one! Elapsed wall clock time (in seconds):0.67 1.30/0.78 o 82 1.44/0.81 c Got one! Elapsed wall clock time (in seconds):0.701 1.44/0.81 o 80 1.44/0.81 c Got one! Elapsed wall clock time (in seconds):0.705 1.44/0.81 o 78 1.44/0.82 c Got one! Elapsed wall clock time (in seconds):0.709 1.44/0.82 o 76 1.44/0.83 c Got one! Elapsed wall clock time (in seconds):0.724 1.44/0.83 o 74 1.44/0.83 c Got one! Elapsed wall clock time (in seconds):0.726 1.44/0.83 o 72 1.44/0.83 c Got one! Elapsed wall clock time (in seconds):0.729 1.44/0.83 o 70 1.44/0.84 c Got one! Elapsed wall clock time (in seconds):0.73 1.44/0.84 o 68 1.44/0.84 c Got one! Elapsed wall clock time (in seconds):0.732 1.44/0.84 o 66 1.44/0.84 c Got one! Elapsed wall clock time (in seconds):0.734 1.44/0.84 o 64 1.44/0.84 c Got one! Elapsed wall clock time (in seconds):0.736 1.44/0.84 o 62 1.64/1.01 c Got one! Elapsed wall clock time (in seconds):0.901 1.64/1.01 o 60 1.64/1.01 c Got one! Elapsed wall clock time (in seconds):0.904 1.64/1.01 o 58 1.64/1.02 c Got one! Elapsed wall clock time (in seconds):0.909 1.64/1.02 o 56 1.64/1.07 c cleaning 4920 clauses out of 9844 with flag 1002/16503 1.64/1.09 c Got one! Elapsed wall clock time (in seconds):0.987 1.64/1.09 o 54 1.79/1.15 c Got one! Elapsed wall clock time (in seconds):1.048 1.79/1.15 o 52 1.98/1.36 c cleaning 5455 clauses out of 10910 with flag 4000/22489 2.08/1.48 c Got one! Elapsed wall clock time (in seconds):1.37 2.08/1.48 o 51 2.08/1.48 c Got one! Elapsed wall clock time (in seconds):1.373 2.08/1.48 o 49 2.18/1.51 c Got one! Elapsed wall clock time (in seconds):1.402 2.18/1.51 o 47 2.18/1.51 c Got one! Elapsed wall clock time (in seconds):1.405 2.18/1.51 o 45 2.18/1.51 c Got one! Elapsed wall clock time (in seconds):1.406 2.18/1.51 o 43 2.18/1.52 c Got one! Elapsed wall clock time (in seconds):1.409 2.18/1.52 o 41 2.18/1.52 c Got one! Elapsed wall clock time (in seconds):1.411 2.18/1.52 o 39 2.18/1.52 c Got one! Elapsed wall clock time (in seconds):1.413 2.18/1.52 o 37 2.18/1.52 c Got one! Elapsed wall clock time (in seconds):1.414 2.18/1.52 o 35 2.28/1.69 c cleaning 5918 clauses out of 11846 with flag 3000/28880 2.60/1.98 c cleaning 5962 clauses out of 11929 with flag 9001/34881 3.03/2.32 c cleaning 6478 clauses out of 12967 with flag 16001/41881 3.44/2.76 c cleaning 7241 clauses out of 14488 with flag 24000/49880 3.95/3.22 c cleaning 8124 clauses out of 16247 with flag 33000/58880 4.35/3.68 c Got one! Elapsed wall clock time (in seconds):3.571 4.35/3.68 o 33 4.75/4.04 c cleaning 10923 clauses out of 21845 with flag 5001/72602 5.05/4.40 c cleaning 8459 clauses out of 16922 with flag 11001/78602 5.45/4.78 c cleaning 7731 clauses out of 15462 with flag 18000/85601 5.95/5.21 c cleaning 7860 clauses out of 15731 with flag 26000/93601 6.46/5.71 c cleaning 8433 clauses out of 16871 with flag 35000/102601 6.86/6.10 c Got one! Elapsed wall clock time (in seconds):5.99 6.86/6.10 o 31 6.86/6.11 c Got one! Elapsed wall clock time (in seconds):6.004 6.86/6.11 o 29 6.86/6.11 c Got one! Elapsed wall clock time (in seconds):6.006 6.86/6.11 o 27 7.17/6.46 c cleaning 8515 clauses out of 17036 with flag 5001/114917 7.38/6.64 c Got one! Elapsed wall clock time (in seconds):6.538 7.38/6.64 o 26 7.38/6.65 c Got one! Elapsed wall clock time (in seconds):6.543 7.38/6.65 o 24 7.38/6.65 c Got one! Elapsed wall clock time (in seconds):6.545 7.38/6.65 o 20 7.48/6.79 c cleaning 7049 clauses out of 14103 with flag 2004/120499 7.87/7.11 c cleaning 6520 clauses out of 13052 with flag 8002/126497 8.17/7.45 c cleaning 6761 clauses out of 13530 with flag 15000/133495 8.58/7.83 c cleaning 7379 clauses out of 14770 with flag 23001/141496 9.08/8.31 c cleaning 8190 clauses out of 16390 with flag 32000/150495 9.59/8.88 c cleaning 9094 clauses out of 18200 with flag 42000/160495 10.29/9.59 c cleaning 10055 clauses out of 20111 with flag 53005/171500 11.09/10.32 c cleaning 11023 clauses out of 22054 with flag 65003/183498 11.91/11.16 c cleaning 12008 clauses out of 24028 with flag 78000/196495 12.80/12.05 c cleaning 13007 clauses out of 26021 with flag 92001/210496 13.72/12.94 c cleaning 14000 clauses out of 28013 with flag 107000/225495 14.64/13.84 c cleaning 15000 clauses out of 30013 with flag 123000/241495 15.84/15.05 c cleaning 16001 clauses out of 32013 with flag 140000/258495 17.16/16.35 c cleaning 17003 clauses out of 34013 with flag 158001/276496 18.58/17.70 c cleaning 18003 clauses out of 36009 with flag 177000/295495 19.98/19.11 c cleaning 18995 clauses out of 38008 with flag 197002/315497 21.68/20.82 c cleaning 20005 clauses out of 40011 with flag 218000/336495 23.29/22.40 c cleaning 21001 clauses out of 42007 with flag 240001/358496 25.31/24.42 c cleaning 22003 clauses out of 44005 with flag 263000/381495 27.43/26.53 c cleaning 23001 clauses out of 46002 with flag 287000/405495 29.43/28.55 c cleaning 23992 clauses out of 48001 with flag 312000/430495 31.84/30.94 c cleaning 25001 clauses out of 50009 with flag 338000/456495 34.36/33.40 c cleaning 26002 clauses out of 52008 with flag 365000/483495 35.97/35.00 c Got one! Elapsed wall clock time (in seconds):34.893 35.97/35.00 o 19 36.57/35.68 c cleaning 26611 clauses out of 53227 with flag 5000/510716 36.97/36.09 c cleaning 16302 clauses out of 32617 with flag 11001/516717 37.38/36.48 c cleaning 11649 clauses out of 23314 with flag 18000/523716 37.90/36.93 c cleaning 9825 clauses out of 19666 with flag 26001/531717 38.41/37.46 c cleaning 9407 clauses out of 18841 with flag 35001/540717 39.01/38.03 c cleaning 9714 clauses out of 19437 with flag 45004/550720 39.62/38.63 c cleaning 10354 clauses out of 20720 with flag 56001/561717 39.92/38.90 c Got one! Elapsed wall clock time (in seconds):38.797 39.92/38.90 o 18 39.92/38.92 c Got one! Elapsed wall clock time (in seconds):38.81 39.92/38.92 o 16 39.92/38.92 c Got one! Elapsed wall clock time (in seconds):38.815 39.92/38.92 o 14 39.92/38.92 c Got one! Elapsed wall clock time (in seconds):38.818 39.92/38.92 o 12 40.22/39.27 c cleaning 10583 clauses out of 21166 with flag 5004/573145 40.62/39.60 c cleaning 8287 clauses out of 16580 with flag 11001/579142 40.92/39.96 c cleaning 7638 clauses out of 15292 with flag 18000/586141 41.32/40.38 c cleaning 7826 clauses out of 15654 with flag 26000/594141 41.83/40.85 c cleaning 8411 clauses out of 16830 with flag 35002/603143 42.33/41.38 c cleaning 9206 clauses out of 18417 with flag 45000/613141 42.93/41.98 c cleaning 10106 clauses out of 20213 with flag 56002/624143 43.73/42.73 c cleaning 11046 clauses out of 22105 with flag 68000/636141 44.53/43.51 c cleaning 12028 clauses out of 24059 with flag 81000/649141 45.34/44.34 c cleaning 13018 clauses out of 26035 with flag 95004/663145 46.24/45.26 c cleaning 14008 clauses out of 28015 with flag 110002/678143 47.26/46.22 c cleaning 15003 clauses out of 30005 with flag 126000/694141 48.37/47.33 c cleaning 15997 clauses out of 32003 with flag 143001/711142 49.67/48.64 c cleaning 16997 clauses out of 34006 with flag 161001/729142 51.07/50.02 c cleaning 18005 clauses out of 36009 with flag 180001/748142 52.39/51.37 c cleaning 18996 clauses out of 38004 with flag 200001/768142 53.90/52.84 c cleaning 20000 clauses out of 40009 with flag 221002/789143 55.59/54.56 c cleaning 21003 clauses out of 42008 with flag 243001/811142 57.40/56.34 c cleaning 22001 clauses out of 44004 with flag 266000/834141 59.41/58.30 c cleaning 22995 clauses out of 46003 with flag 290000/858141 61.33/60.23 c cleaning 24000 clauses out of 48008 with flag 315000/883141 63.64/62.51 c cleaning 25001 clauses out of 50009 with flag 341001/909142 66.25/65.14 c cleaning 25998 clauses out of 52007 with flag 368000/936141 68.86/67.77 c cleaning 27004 clauses out of 54009 with flag 396000/964141 71.97/70.85 c cleaning 27998 clauses out of 56005 with flag 425000/993141 74.98/73.88 c cleaning 29001 clauses out of 58008 with flag 455001/1023142 78.48/77.38 c cleaning 30005 clauses out of 60010 with flag 486004/1054145 81.60/80.48 c cleaning 30996 clauses out of 62001 with flag 518000/1086141 84.81/83.70 c cleaning 32002 clauses out of 64009 with flag 551004/1119145 88.22/87.02 c cleaning 32998 clauses out of 66004 with flag 585001/1153142 91.74/90.51 c cleaning 34002 clauses out of 68006 with flag 620001/1188142 95.56/94.34 c cleaning 35000 clauses out of 70003 with flag 656000/1224141 99.66/98.40 c cleaning 35995 clauses out of 72003 with flag 693000/1261141 104.68/103.49 c cleaning 37001 clauses out of 74008 with flag 731000/1299141 109.48/108.25 c cleaning 37992 clauses out of 76007 with flag 770000/1338141 114.10/112.83 c cleaning 39004 clauses out of 78015 with flag 810000/1378141 118.70/117.46 c cleaning 40006 clauses out of 80011 with flag 851000/1419141 123.60/122.37 c cleaning 40996 clauses out of 82005 with flag 893000/1461141 129.23/127.96 c cleaning 42000 clauses out of 84010 with flag 936001/1504142 134.04/132.76 c cleaning 43000 clauses out of 86009 with flag 980000/1548141 139.55/138.20 c cleaning 44000 clauses out of 88010 with flag 1025001/1593142 144.67/143.35 c cleaning 45000 clauses out of 90011 with flag 1071002/1639143 150.00/148.65 c cleaning 46004 clauses out of 92012 with flag 1118003/1686144 155.72/154.31 c cleaning 46998 clauses out of 94006 with flag 1166001/1734142 161.94/160.53 c cleaning 47996 clauses out of 96008 with flag 1215001/1783142 169.55/168.18 c cleaning 49000 clauses out of 98011 with flag 1265000/1833141 177.16/175.73 c cleaning 50001 clauses out of 100011 with flag 1316000/1884141 184.99/183.56 c cleaning 51001 clauses out of 102010 with flag 1368000/1936141 193.52/192.09 c cleaning 52004 clauses out of 104009 with flag 1421000/1989141 201.66/200.14 c cleaning 53001 clauses out of 106006 with flag 1475001/2043142 208.98/207.44 c cleaning 53998 clauses out of 108004 with flag 1530000/2098141 216.38/214.86 c cleaning 55003 clauses out of 110006 with flag 1586000/2154141 224.17/222.60 c cleaning 56001 clauses out of 112005 with flag 1643002/2211143 233.18/231.65 c cleaning 56998 clauses out of 114002 with flag 1701000/2269141 240.31/238.74 c cleaning 57996 clauses out of 116004 with flag 1760000/2328141 248.71/247.14 c cleaning 59004 clauses out of 118009 with flag 1820001/2388142 257.14/255.51 c cleaning 59998 clauses out of 120004 with flag 1881000/2449141 266.76/265.14 c cleaning 60999 clauses out of 122006 with flag 1943000/2511141 276.28/274.66 c cleaning 62000 clauses out of 124007 with flag 2006000/2574141 285.89/284.26 c cleaning 63002 clauses out of 126008 with flag 2070001/2638142 294.81/293.14 c cleaning 64000 clauses out of 128007 with flag 2135002/2703143 304.93/303.24 c cleaning 64999 clauses out of 130005 with flag 2201000/2769141 315.38/313.62 c cleaning 66001 clauses out of 132007 with flag 2268001/2836142 326.10/324.31 c cleaning 66996 clauses out of 134007 with flag 2336002/2904143 338.22/336.45 c cleaning 67996 clauses out of 136009 with flag 2405000/2973141 350.05/348.27 c cleaning 68999 clauses out of 138013 with flag 2475000/3043141 358.85/357.07 c cleaning 70004 clauses out of 140014 with flag 2546000/3114141 367.66/365.82 c cleaning 71000 clauses out of 142010 with flag 2618000/3186141 377.29/375.41 c cleaning 72003 clauses out of 144010 with flag 2691000/3259141 385.82/383.93 c cleaning 73001 clauses out of 146008 with flag 2765001/3333142 394.65/392.80 c cleaning 74004 clauses out of 148008 with flag 2840002/3408143 402.85/400.96 c cleaning 74994 clauses out of 150002 with flag 2916000/3484141 411.98/410.08 c cleaning 76002 clauses out of 152008 with flag 2993000/3561141 422.30/420.39 c cleaning 77001 clauses out of 154006 with flag 3071000/3639141 432.33/430.31 c cleaning 78003 clauses out of 156007 with flag 3150002/3718143 442.46/440.47 c cleaning 79002 clauses out of 158005 with flag 3230003/3798144 453.22/451.10 c cleaning 79995 clauses out of 160003 with flag 3311003/3879144 465.73/463.66 c cleaning 80997 clauses out of 162005 with flag 3393000/3961141 476.05/473.91 c cleaning 81997 clauses out of 164008 with flag 3476000/4044141 486.97/484.81 c cleaning 83002 clauses out of 166012 with flag 3560001/4128142 499.60/497.46 c cleaning 84002 clauses out of 168010 with flag 3645001/4213142 511.52/509.33 c cleaning 85000 clauses out of 170008 with flag 3731001/4299142 523.82/521.64 c cleaning 86001 clauses out of 172012 with flag 3818005/4386146 537.83/535.69 c cleaning 86998 clauses out of 174006 with flag 3906000/4474141 556.46/554.28 c cleaning 87999 clauses out of 176008 with flag 3995000/4563141 573.98/571.75 c cleaning 89005 clauses out of 178016 with flag 4085007/4653148 591.11/588.82 c cleaning 89997 clauses out of 180005 with flag 4176001/4744142 605.04/602.79 c cleaning 90992 clauses out of 182007 with flag 4268000/4836141 621.18/618.81 c cleaning 92005 clauses out of 184020 with flag 4361005/4929146 637.93/635.54 c cleaning 93001 clauses out of 186012 with flag 4455002/5023143 653.77/651.34 c cleaning 93999 clauses out of 188009 with flag 4550000/5118141 672.52/670.03 c cleaning 95000 clauses out of 190010 with flag 4646000/5214141 693.42/690.94 c cleaning 96001 clauses out of 192010 with flag 4743000/5311141 715.36/712.89 c cleaning 97002 clauses out of 194011 with flag 4841002/5409143 739.49/736.93 c cleaning 98000 clauses out of 196007 with flag 4940000/5508141 757.90/755.33 c cleaning 99003 clauses out of 198007 with flag 5040000/5608141 776.88/774.20 c cleaning 99994 clauses out of 200004 with flag 5141000/5709141 796.60/793.98 c cleaning 101000 clauses out of 202010 with flag 5243000/5811141 817.95/815.20 c cleaning 101998 clauses out of 204010 with flag 5346000/5914141 838.17/835.42 c cleaning 103003 clauses out of 206013 with flag 5450001/6018142 858.19/855.40 c cleaning 104004 clauses out of 208012 with flag 5555003/6123144 877.80/875.02 c cleaning 104999 clauses out of 210005 with flag 5661000/6229141 897.13/894.40 c cleaning 105994 clauses out of 212006 with flag 5768000/6336141 917.08/914.22 c cleaning 107004 clauses out of 214013 with flag 5876001/6444142 940.21/937.33 c cleaning 107999 clauses out of 216009 with flag 5985001/6553142 962.55/959.61 c cleaning 109005 clauses out of 218009 with flag 6095000/6663141 991.36/988.41 c cleaning 110003 clauses out of 220005 with flag 6206001/6774142 1017.79/1014.87 c cleaning 110994 clauses out of 222001 with flag 6318000/6886141 1046.42/1043.46 c cleaning 112002 clauses out of 224007 with flag 6431000/6999141 1073.35/1070.34 c cleaning 113002 clauses out of 226005 with flag 6545000/7113141 1101.67/1098.68 c cleaning 114003 clauses out of 228005 with flag 6660002/7228143 1130.68/1127.69 c cleaning 115001 clauses out of 230001 with flag 6776001/7344142 1152.92/1149.83 c cleaning 115996 clauses out of 231999 with flag 6893000/7461141 1179.35/1176.24 c cleaning 116999 clauses out of 234004 with flag 7011001/7579142 1202.39/1199.28 c cleaning 117998 clauses out of 236006 with flag 7130002/7698143 1227.21/1224.04 c cleaning 119002 clauses out of 238008 with flag 7250002/7818143 1251.25/1248.05 c cleaning 119993 clauses out of 240004 with flag 7371000/7939141 1275.60/1272.38 c cleaning 121005 clauses out of 242012 with flag 7493001/8061142 1299.26/1295.96 c cleaning 122000 clauses out of 244008 with flag 7616002/8184143 1327.80/1324.46 c cleaning 122999 clauses out of 246007 with flag 7740001/8308142 1357.12/1353.70 c cleaning 124004 clauses out of 248010 with flag 7865003/8433144 1386.97/1383.52 c cleaning 124997 clauses out of 250005 with flag 7991002/8559143 1415.31/1411.89 c cleaning 126000 clauses out of 252008 with flag 8118002/8686143 1440.55/1437.04 c cleaning 126997 clauses out of 254008 with flag 8246002/8814143 1465.18/1461.60 c cleaning 128006 clauses out of 256013 with flag 8375004/8943145 1494.03/1490.41 c cleaning 128998 clauses out of 258003 with flag 8505000/9073141 1494.03/1490.50 c Got one! Elapsed wall clock time (in seconds):1490.396 1494.03/1490.50 o 11 1495.98/1492.33 c cleaning 67147 clauses out of 134310 with flag 5001/9078446 1496.79/1493.12 c cleaning 36579 clauses out of 73168 with flag 11006/9084451 1497.31/1493.60 c cleaning 21781 clauses out of 43585 with flag 18002/9091447 1497.73/1494.04 c cleaning 14895 clauses out of 29804 with flag 26002/9099447 1498.25/1494.52 c cleaning 11948 clauses out of 23907 with flag 35000/9108445 1498.78/1495.04 c cleaning 10974 clauses out of 21959 with flag 45000/9118445 1499.41/1495.66 c cleaning 10989 clauses out of 21985 with flag 56000/9129445 1500.13/1496.32 c cleaning 11497 clauses out of 22997 with flag 68001/9141446 1500.96/1497.14 c cleaning 12244 clauses out of 24499 with flag 81000/9154445 1501.88/1498.04 c cleaning 13124 clauses out of 26257 with flag 95002/9168447 1502.79/1498.96 c cleaning 14064 clauses out of 28131 with flag 110000/9183445 1504.01/1500.12 c cleaning 15026 clauses out of 30068 with flag 126001/9199446 1505.23/1501.30 c cleaning 16017 clauses out of 32042 with flag 143001/9216446 1506.54/1502.67 c cleaning 17012 clauses out of 34024 with flag 161000/9234445 1507.86/1503.95 c cleaning 18008 clauses out of 36015 with flag 180003/9253448 1509.37/1505.42 c cleaning 18998 clauses out of 38004 with flag 200000/9273445 1510.99/1507.07 c cleaning 20003 clauses out of 40007 with flag 221001/9294446 1512.89/1508.98 c cleaning 21001 clauses out of 42004 with flag 243001/9316446 1515.00/1511.08 c cleaning 22002 clauses out of 44004 with flag 266002/9339447 1517.13/1513.15 c cleaning 22997 clauses out of 46000 with flag 290000/9363445 1519.45/1515.48 c cleaning 23997 clauses out of 48006 with flag 315003/9388448 1521.97/1517.90 c cleaning 25002 clauses out of 50007 with flag 341001/9414446 1524.58/1520.52 c cleaning 25998 clauses out of 52004 with flag 368000/9441445 1527.20/1523.15 c cleaning 26998 clauses out of 54007 with flag 396001/9469446 1530.31/1526.28 c cleaning 27997 clauses out of 56010 with flag 425002/9498447 1533.74/1529.66 c cleaning 29003 clauses out of 58012 with flag 455001/9528446 1537.57/1533.40 c cleaning 30001 clauses out of 60010 with flag 486002/9559447 1541.47/1537.32 c cleaning 30998 clauses out of 62009 with flag 518002/9591447 1546.09/1541.94 c cleaning 32000 clauses out of 64011 with flag 551002/9624447 1550.62/1546.40 c cleaning 33001 clauses out of 66010 with flag 585001/9658446 1554.93/1550.70 c cleaning 33998 clauses out of 68011 with flag 620003/9693448 1559.14/1554.97 c cleaning 35002 clauses out of 70010 with flag 656000/9729445 1563.45/1559.22 c cleaning 36003 clauses out of 72011 with flag 693003/9766448 1568.26/1564.05 c cleaning 36999 clauses out of 74007 with flag 731002/9804447 1573.47/1569.29 c cleaning 38003 clauses out of 76007 with flag 770001/9843446 1578.71/1574.48 c cleaning 38994 clauses out of 78003 with flag 810000/9883445 1584.73/1580.41 c cleaning 40002 clauses out of 80010 with flag 851001/9924446 1591.04/1586.73 c cleaning 41004 clauses out of 82007 with flag 893000/9966445 1597.15/1592.81 c cleaning 41996 clauses out of 84005 with flag 936002/10009447 1603.45/1599.17 c cleaning 42999 clauses out of 86007 with flag 980000/10053445 1609.28/1604.96 c cleaning 44003 clauses out of 88009 with flag 1025001/10098446 1614.08/1609.80 c cleaning 45003 clauses out of 90008 with flag 1071003/10144448 1619.29/1614.97 c cleaning 46000 clauses out of 92004 with flag 1118002/10191447 1624.40/1620.01 c cleaning 46997 clauses out of 94003 with flag 1166001/10239446 1629.70/1625.32 c cleaning 48001 clauses out of 96005 with flag 1215000/10288445 1634.63/1630.27 c cleaning 49000 clauses out of 98006 with flag 1265002/10338447 1640.45/1636.02 c cleaning 49997 clauses out of 100004 with flag 1316000/10389445 1646.25/1641.86 c cleaning 51001 clauses out of 102008 with flag 1368001/10441446 1651.96/1647.59 c cleaning 52000 clauses out of 104008 with flag 1421002/10494447 1657.48/1653.07 c cleaning 52996 clauses out of 106006 with flag 1475000/10548445 1664.03/1659.57 c cleaning 54003 clauses out of 108012 with flag 1530002/10603447 1670.05/1665.57 c cleaning 55005 clauses out of 110009 with flag 1586002/10659447 1676.76/1672.29 c cleaning 55997 clauses out of 112003 with flag 1643001/10716446 1683.17/1678.69 c cleaning 56992 clauses out of 114005 with flag 1701000/10774445 1689.89/1685.39 c cleaning 58000 clauses out of 116015 with flag 1760002/10833447 1696.70/1692.16 c cleaning 59003 clauses out of 118015 with flag 1820002/10893447 1703.71/1699.18 c cleaning 60001 clauses out of 120010 with flag 1881000/10954445 1711.43/1706.84 c cleaning 61003 clauses out of 122011 with flag 1943002/11016447 1719.56/1714.95 c cleaning 62003 clauses out of 124007 with flag 2006001/11079446 1728.16/1723.53 c cleaning 63004 clauses out of 126007 with flag 2070004/11143449 1737.89/1733.26 c cleaning 63996 clauses out of 127999 with flag 2135000/11208445 1746.79/1742.10 c cleaning 64997 clauses out of 130003 with flag 2201000/11274445 1755.80/1751.16 c cleaning 66001 clauses out of 132006 with flag 2268000/11341445 1765.92/1761.29 c cleaning 67002 clauses out of 134006 with flag 2336001/11409446 1775.85/1771.12 c cleaning 68002 clauses out of 136004 with flag 2405001/11478446 1787.14/1782.41 c cleaning 69000 clauses out of 138001 with flag 2475000/11548445 1798.58/1793.90 c cleaning 69994 clauses out of 140004 with flag 2546003/11619448 1800.02/1795.21 c starts : 533 1800.02/1795.21 c conflicts : 11637586 1800.02/1795.21 c decisions : 11824335 1800.02/1795.21 c propagations : 85469890 1800.02/1795.21 c inspects : 22865245561 1800.02/1795.21 c shortcuts : 0 1800.02/1795.21 c learnt literals : 0 1800.02/1795.21 c learnt binary clauses : 0 1800.02/1795.21 c learnt ternary clauses : 0 1800.02/1795.21 c learnt constraints : 11637587 1800.02/1795.21 c ignored constraints : 0 1800.02/1795.21 c root simplifications : 533 1800.02/1795.21 c removed literals (reason simplification) : 89440183 1800.02/1795.22 c reason swapping (by a shorter reason) : 0 1800.02/1795.22 c Calls to reduceDB : 236 1800.02/1795.22 c number of reductions to clauses (during analyze) : 0 1800.02/1795.22 c number of learned constraints concerned by reduction : 0 1800.02/1795.22 c number of learning phase by resolution : 0 1800.02/1795.22 c number of learning phase by cutting planes : 0 1800.02/1795.22 c speed (assignments/second) : 47613.773747720836 1800.02/1795.22 c non guided choices 166 1800.02/1795.24 c learnt constraints type 1800.02/1795.24 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 88476 1800.02/1795.24 c constraints type 1800.02/1795.24 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 13 1800.02/1795.24 c 13 constraints processed. 1800.02/1795.24 s SATISFIABLE 1800.02/1795.24 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 x121 -x122 x123 -x124 x125 -x126 -x127 x128 x129 -x130 x131 -x132 x133 x134 -x135 x136 x137 -x138 x139 -x140 x141 -x142 -x143 x144 -x145 x146 1800.02/1795.24 c objective function=11 1800.02/1795.24 c Total wall clock time (in seconds): 1795.137
OK 11
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-3710832-1338153897/watcher-3710832-1338153897 -o /tmp/evaluation-result-3710832-1338153897/solver-3710832-1338153897 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710832-1338153897.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.03 2.00 3/194 21182 /proc/meminfo: memFree=27388752/32873660 swapFree=7120/7120 [pid=21182] ppid=21180 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/21182/stat : 21182 (java) R 21180 21182 16973 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 281515414 23793664 711 33554432000 1073741824 1073778376 140733880936176 140733880925240 270320842088 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/21182/statm: 5809 712 527 9 0 128 0 [startup+0.102727 s] /proc/loadavg: 2.00 2.03 2.00 3/194 21182 /proc/meminfo: memFree=27388752/32873660 swapFree=7120/7120 [pid=21182] ppid=21180 vsize=9558440 CPUtime=0.11 cores=1,3,5,7 /proc/21182/stat : 21182 (java) S 21180 21182 16973 0 -1 4202496 4418 0 1 0 10 1 0 0 20 0 18 0 281515414 9787842560 6135 33554432000 1073741824 1073778376 140733880936176 140733880927312 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21182/statm: 2389610 6135 2149 9 0 2380296 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558440 [startup+0.200225 s] /proc/loadavg: 2.00 2.03 2.00 3/194 21182 /proc/meminfo: memFree=27388752/32873660 swapFree=7120/7120 [pid=21182] ppid=21180 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/21182/stat : 21182 (java) S 21180 21182 16973 0 -1 4202496 6201 0 1 0 28 1 0 0 20 0 19 0 281515414 9856004096 7901 33554432000 1073741824 1073778376 140733880936176 140733880927312 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21182/statm: 2406251 7901 2222 9 0 2396937 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9625004 [startup+0.300197 s] /proc/loadavg: 2.00 2.03 2.00 3/194 21182 /proc/meminfo: memFree=27388752/32873660 swapFree=7120/7120 [pid=21182] ppid=21180 vsize=9625004 CPUtime=0.57 cores=1,3,5,7 /proc/21182/stat : 21182 (java) S 21180 21182 16973 0 -1 4202496 8086 0 1 0 55 2 0 0 20 0 19 0 281515414 9856004096 9324 33554432000 1073741824 1073778376 140733880936176 140733880927312 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21182/statm: 2406251 9324 2230 9 0 2396937 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 9625004 [startup+0.700106 s] /proc/loadavg: 2.00 2.03 2.00 3/194 21182 /proc/meminfo: memFree=27388752/32873660 swapFree=7120/7120 [pid=21182] ppid=21180 vsize=9625004 CPUtime=1.3 cores=1,3,5,7 /proc/21182/stat : 21182 (java) S 21180 21182 16973 0 -1 4202496 11102 0 1 0 128 2 0 0 20 0 19 0 281515414 9856004096 11835 33554432000 1073741824 1073778376 140733880936176 140733880927312 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21182/statm: 2406251 11835 2240 9 0 2396937 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 9625004 [startup+1.50065 s] /proc/loadavg: 2.00 2.03 2.00 3/213 21201 /proc/meminfo: memFree=27341392/32873660 swapFree=7120/7120 [pid=21182] ppid=21180 vsize=9625004 CPUtime=2.18 cores=1,3,5,7 /proc/21182/stat : 21182 (java) S 21180 21182 16973 0 -1 4202496 11178 0 1 0 215 3 0 0 20 0 19 0 281515414 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 140733880927312 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21182/statm: 2406251 14961 2272 9 0 2396937 0 [pid=21182/tid=21184] ppid=21180 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/21182/task/21184/stat : 21184 (java) R 21180 21182 16973 0 -1 4202560 2513 0 1 0 144 2 0 0 20 0 19 0 281515415 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786724360456 139786572974122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21185] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21185/stat : 21185 (java) S 21180 21182 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786696812840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21186] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21186/stat : 21186 (java) S 21180 21182 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786695760040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21187] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21187/stat : 21187 (java) S 21180 21182 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786694707752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21188] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21188/stat : 21188 (java) S 21180 21182 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786693654952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21189] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21189/stat : 21189 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786692602664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21190] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21190/stat : 21190 (java) S 21180 21182 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786691549864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21191] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21191/stat : 21191 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786561563688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21192] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21192/stat : 21192 (java) S 21180 21182 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786560510888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21193] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21193/stat : 21193 (java) S 21180 21182 16973 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 281515416 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786077563112 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21194] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21194/stat : 21194 (java) S 21180 21182 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281515417 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786076509176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21195] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21195/stat : 21195 (java) S 21180 21182 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281515417 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786075456776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21196] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21196/stat : 21196 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786074405264 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21197] ppid=21180 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/21182/task/21197/stat : 21197 (java) S 21180 21182 16973 0 -1 4202560 2939 0 0 0 33 0 0 0 20 0 19 0 281515419 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786073352888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21198] ppid=21180 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/21182/task/21198/stat : 21198 (java) S 21180 21182 16973 0 -1 4202560 4472 0 0 0 34 0 0 0 20 0 19 0 281515419 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786072300088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21199] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21199/stat : 21199 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786071247992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21200] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21200/stat : 21200 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786070195400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21201] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21201/stat : 21201 (java) S 21180 21182 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281515429 9856004096 14961 33554432000 1073741824 1073778376 140733880936176 139786069140392 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.18 Current children cumulated vsize (KiB) 9625004 [startup+3.10055 s] /proc/loadavg: 2.00 2.03 2.00 3/213 21201 /proc/meminfo: memFree=27337172/32873660 swapFree=7120/7120 [pid=21182] ppid=21180 vsize=9625004 CPUtime=3.85 cores=1,3,5,7 /proc/21182/stat : 21182 (java) S 21180 21182 16973 0 -1 4202496 11208 0 1 0 382 3 0 0 20 0 19 0 281515414 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 140733880927312 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21182/statm: 2406251 14987 2278 9 0 2396937 0 [pid=21182/tid=21184] ppid=21180 vsize=9625004 CPUtime=3.01 cores=1,3,5,7 /proc/21182/task/21184/stat : 21184 (java) R 21180 21182 16973 0 -1 4202560 2519 0 1 0 299 2 0 0 20 0 19 0 281515415 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786724360616 139786572953020 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21185] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21185/stat : 21185 (java) S 21180 21182 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786696812840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21186] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21186/stat : 21186 (java) S 21180 21182 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786695760040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21187] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21187/stat : 21187 (java) S 21180 21182 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786694707752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21188] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21188/stat : 21188 (java) S 21180 21182 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786693654952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21189] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21189/stat : 21189 (java) S 21180 21182 16973 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786692602664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21190] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21190/stat : 21190 (java) S 21180 21182 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786691549864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21191] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21191/stat : 21191 (java) S 21180 21182 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786561563688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21192] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21192/stat : 21192 (java) S 21180 21182 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786560510888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21193] ppid=21180 vsize=9625004 CPUtime=0.04 cores=1,3,5,7 /proc/21182/task/21193/stat : 21193 (java) S 21180 21182 16973 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 281515416 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786077563112 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21194] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21194/stat : 21194 (java) S 21180 21182 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281515417 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786076509176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21195] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21195/stat : 21195 (java) S 21180 21182 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281515417 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786075456776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21196] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21196/stat : 21196 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786074405264 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21197] ppid=21180 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/21182/task/21197/stat : 21197 (java) S 21180 21182 16973 0 -1 4202560 2939 0 0 0 33 0 0 0 20 0 19 0 281515419 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786073352888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21198] ppid=21180 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/21182/task/21198/stat : 21198 (java) S 21180 21182 16973 0 -1 4202560 4476 0 0 0 39 0 0 0 20 0 19 0 281515419 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786072300088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21199] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21199/stat : 21199 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786071247992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21200] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21200/stat : 21200 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786070195400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21201] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21201/stat : 21201 (java) S 21180 21182 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281515429 9856004096 14987 33554432000 1073741824 1073778376 140733880936176 139786069140392 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.85 Current children cumulated vsize (KiB) 9625004 [startup+6.30056 s] /proc/loadavg: 2.00 2.03 2.00 3/213 21201 /proc/meminfo: memFree=27335612/32873660 swapFree=7120/7120 [pid=21182] ppid=21180 vsize=9625004 CPUtime=7.06 cores=1,3,5,7 /proc/21182/stat : 21182 (java) S 21180 21182 16973 0 -1 4202496 11224 0 1 0 702 4 0 0 20 0 19 0 281515414 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 140733880927312 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21182/statm: 2406251 15152 2278 9 0 2396937 0 [pid=21182/tid=21184] ppid=21180 vsize=9625004 CPUtime=6.13 cores=1,3,5,7 /proc/21182/task/21184/stat : 21184 (java) R 21180 21182 16973 0 -1 4202560 2526 0 1 0 611 2 0 0 20 0 19 0 281515415 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786724360616 139786572974060 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21185] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21185/stat : 21185 (java) S 21180 21182 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786696812840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21186] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21186/stat : 21186 (java) S 21180 21182 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786695760040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21187] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21187/stat : 21187 (java) S 21180 21182 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786694707752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21188] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21188/stat : 21188 (java) S 21180 21182 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786693654952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21189] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21189/stat : 21189 (java) S 21180 21182 16973 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786692602664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21190] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21190/stat : 21190 (java) S 21180 21182 16973 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786691549864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21191] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21191/stat : 21191 (java) S 21180 21182 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786561563688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21192] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21192/stat : 21192 (java) S 21180 21182 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281515415 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786560510888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21193] ppid=21180 vsize=9625004 CPUtime=0.1 cores=1,3,5,7 /proc/21182/task/21193/stat : 21193 (java) S 21180 21182 16973 0 -1 4202560 35 0 0 0 10 0 0 0 20 0 19 0 281515416 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786077563112 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21194] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21194/stat : 21194 (java) S 21180 21182 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281515417 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786076509176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21195] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21195/stat : 21195 (java) S 21180 21182 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281515417 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786075456776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21196] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21196/stat : 21196 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786074405264 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21197] ppid=21180 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/21182/task/21197/stat : 21197 (java) S 21180 21182 16973 0 -1 4202560 2939 0 0 0 33 0 0 0 20 0 19 0 281515419 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786073352888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21198] ppid=21180 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/21182/task/21198/stat : 21198 (java) S 21180 21182 16973 0 -1 4202560 4476 0 0 0 39 0 0 0 20 0 19 0 281515419 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786072300088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21199] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21199/stat : 21199 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786071247992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21200] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21200/stat : 21200 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786070195400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21201] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21201/stat : 21201 (java) S 21180 21182 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281515429 9856004096 15152 33554432000 1073741824 1073778376 140733880936176 139786069140392 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.06 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=21182/tid=21197] ppid=21180 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/21182/task/21197/stat : 21197 (java) S 21180 21182 16973 0 -1 4202560 2939 0 0 0 33 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786073352888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21198] ppid=21180 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/21182/task/21198/stat : 21198 (java) S 21180 21182 16973 0 -1 4202560 4476 0 0 0 39 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786072300088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21199] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21199/stat : 21199 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786071247992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21200] ppid=21180 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/21182/task/21200/stat : 21200 (java) S 21180 21182 16973 0 -1 4202560 99 0 0 0 14 23 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786070195400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21201] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21201/stat : 21201 (java) S 21180 21182 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281515429 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786069140392 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1726.96 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 2.00 3/213 21287 /proc/meminfo: memFree=27259876/32873660 swapFree=7120/7120 [pid=21182] ppid=21180 vsize=9625004 CPUtime=1787.04 cores=1,3,5,7 /proc/21182/stat : 21182 (java) S 21180 21182 16973 0 -1 4202496 13223 0 1 0 178663 41 0 0 20 0 19 0 281515414 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 140733880927312 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21182/statm: 2406251 38304 2278 9 0 2396937 0 [pid=21182/tid=21184] ppid=21180 vsize=9625004 CPUtime=1769.14 cores=1,3,5,7 /proc/21182/task/21184/stat : 21184 (java) R 21180 21182 16973 0 -1 4202560 2753 0 1 0 176883 31 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786724360496 139786573270900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21185] ppid=21180 vsize=9625004 CPUtime=0.72 cores=1,3,5,7 /proc/21182/task/21185/stat : 21185 (java) S 21180 21182 16973 0 -1 4202560 268 0 0 0 71 1 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786696812840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21186] ppid=21180 vsize=9625004 CPUtime=0.78 cores=1,3,5,7 /proc/21182/task/21186/stat : 21186 (java) S 21180 21182 16973 0 -1 4202560 270 0 0 0 78 0 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786695760040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21187] ppid=21180 vsize=9625004 CPUtime=0.7 cores=1,3,5,7 /proc/21182/task/21187/stat : 21187 (java) S 21180 21182 16973 0 -1 4202560 271 0 0 0 70 0 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786694707752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21188] ppid=21180 vsize=9625004 CPUtime=0.78 cores=1,3,5,7 /proc/21182/task/21188/stat : 21188 (java) S 21180 21182 16973 0 -1 4202560 135 0 0 0 78 0 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786693654952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21189] ppid=21180 vsize=9625004 CPUtime=0.69 cores=1,3,5,7 /proc/21182/task/21189/stat : 21189 (java) S 21180 21182 16973 0 -1 4202560 113 0 0 0 67 2 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786692602664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21190] ppid=21180 vsize=9625004 CPUtime=0.79 cores=1,3,5,7 /proc/21182/task/21190/stat : 21190 (java) S 21180 21182 16973 0 -1 4202560 137 0 0 0 78 1 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786691549864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21191] ppid=21180 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/21182/task/21191/stat : 21191 (java) S 21180 21182 16973 0 -1 4202560 262 0 0 0 65 1 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786561563688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21192] ppid=21180 vsize=9625004 CPUtime=0.76 cores=1,3,5,7 /proc/21182/task/21192/stat : 21192 (java) S 21180 21182 16973 0 -1 4202560 159 0 0 0 75 1 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786560510888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21193] ppid=21180 vsize=9625004 CPUtime=6.43 cores=1,3,5,7 /proc/21182/task/21193/stat : 21193 (java) S 21180 21182 16973 0 -1 4202560 155 0 0 0 640 3 0 0 20 0 19 0 281515416 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786077563112 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21194] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21194/stat : 21194 (java) S 21180 21182 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281515417 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786076509176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21195] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21195/stat : 21195 (java) S 21180 21182 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281515417 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786075456776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21196] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21196/stat : 21196 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786074405264 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21197] ppid=21180 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/21182/task/21197/stat : 21197 (java) S 21180 21182 16973 0 -1 4202560 2939 0 0 0 33 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786073352888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21198] ppid=21180 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/21182/task/21198/stat : 21198 (java) S 21180 21182 16973 0 -1 4202560 4476 0 0 0 39 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786072300088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21199] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21199/stat : 21199 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786071247992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21200] ppid=21180 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/21182/task/21200/stat : 21200 (java) S 21180 21182 16973 0 -1 4202560 103 0 0 0 14 23 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786070195400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21201] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21201/stat : 21201 (java) S 21180 21182 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281515429 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786069140392 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1787.04 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.2 s] /proc/loadavg: 2.00 2.00 2.00 3/213 21287 /proc/meminfo: memFree=27259880/32873660 swapFree=7120/7120 [pid=21182] ppid=21180 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7 /proc/21182/stat : 21182 (java) S 21180 21182 16973 0 -1 4202496 13227 0 1 0 179960 42 0 0 20 0 19 0 281515414 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 140733880927312 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21182/statm: 2406251 38304 2278 9 0 2396937 0 [pid=21182/tid=21184] ppid=21180 vsize=9625004 CPUtime=1781.9 cores=1,3,5,7 /proc/21182/task/21184/stat : 21184 (java) R 21180 21182 16973 0 -1 4202560 2755 0 1 0 178158 32 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786724360496 139786573018487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21185] ppid=21180 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/21182/task/21185/stat : 21185 (java) S 21180 21182 16973 0 -1 4202560 268 0 0 0 72 1 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786696812840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21186] ppid=21180 vsize=9625004 CPUtime=0.79 cores=1,3,5,7 /proc/21182/task/21186/stat : 21186 (java) S 21180 21182 16973 0 -1 4202560 270 0 0 0 79 0 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786695760040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21187] ppid=21180 vsize=9625004 CPUtime=0.7 cores=1,3,5,7 /proc/21182/task/21187/stat : 21187 (java) S 21180 21182 16973 0 -1 4202560 271 0 0 0 70 0 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786694707752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21188] ppid=21180 vsize=9625004 CPUtime=0.8 cores=1,3,5,7 /proc/21182/task/21188/stat : 21188 (java) S 21180 21182 16973 0 -1 4202560 135 0 0 0 80 0 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786693654952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21189] ppid=21180 vsize=9625004 CPUtime=0.69 cores=1,3,5,7 /proc/21182/task/21189/stat : 21189 (java) S 21180 21182 16973 0 -1 4202560 113 0 0 0 67 2 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786692602664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21190] ppid=21180 vsize=9625004 CPUtime=0.8 cores=1,3,5,7 /proc/21182/task/21190/stat : 21190 (java) S 21180 21182 16973 0 -1 4202560 137 0 0 0 79 1 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786691549864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21191] ppid=21180 vsize=9625004 CPUtime=0.67 cores=1,3,5,7 /proc/21182/task/21191/stat : 21191 (java) S 21180 21182 16973 0 -1 4202560 262 0 0 0 66 1 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786561563688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21192] ppid=21180 vsize=9625004 CPUtime=0.77 cores=1,3,5,7 /proc/21182/task/21192/stat : 21192 (java) S 21180 21182 16973 0 -1 4202560 159 0 0 0 76 1 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786560510888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21193] ppid=21180 vsize=9625004 CPUtime=6.51 cores=1,3,5,7 /proc/21182/task/21193/stat : 21193 (java) S 21180 21182 16973 0 -1 4202560 157 0 0 0 648 3 0 0 20 0 19 0 281515416 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786077563112 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21194] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21194/stat : 21194 (java) S 21180 21182 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281515417 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786076509176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21195] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21195/stat : 21195 (java) S 21180 21182 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281515417 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786075456776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21196] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21196/stat : 21196 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786074405264 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21197] ppid=21180 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/21182/task/21197/stat : 21197 (java) S 21180 21182 16973 0 -1 4202560 2939 0 0 0 33 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786073352888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21198] ppid=21180 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/21182/task/21198/stat : 21198 (java) S 21180 21182 16973 0 -1 4202560 4476 0 0 0 39 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786072300088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21199] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21199/stat : 21199 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786071247992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21200] ppid=21180 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/21182/task/21200/stat : 21200 (java) S 21180 21182 16973 0 -1 4202560 103 0 0 0 14 24 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786070195400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21201] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21201/stat : 21201 (java) S 21180 21182 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281515429 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786069140392 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 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+1795.2 s] /proc/loadavg: 2.00 2.00 2.00 3/213 21287 /proc/meminfo: memFree=27259880/32873660 swapFree=7120/7120 [pid=21182] ppid=21180 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7 /proc/21182/stat : 21182 (java) S 21180 21182 16973 0 -1 4202496 13227 0 1 0 179960 42 0 0 20 0 19 0 281515414 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 140733880927312 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21182/statm: 2406251 38304 2278 9 0 2396937 0 [pid=21182/tid=21184] ppid=21180 vsize=9625004 CPUtime=1781.9 cores=1,3,5,7 /proc/21182/task/21184/stat : 21184 (java) R 21180 21182 16973 0 -1 4202560 2755 0 1 0 178158 32 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786724360496 139786573018487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21185] ppid=21180 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/21182/task/21185/stat : 21185 (java) S 21180 21182 16973 0 -1 4202560 268 0 0 0 72 1 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786696812840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21186] ppid=21180 vsize=9625004 CPUtime=0.79 cores=1,3,5,7 /proc/21182/task/21186/stat : 21186 (java) S 21180 21182 16973 0 -1 4202560 270 0 0 0 79 0 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786695760040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21187] ppid=21180 vsize=9625004 CPUtime=0.7 cores=1,3,5,7 /proc/21182/task/21187/stat : 21187 (java) S 21180 21182 16973 0 -1 4202560 271 0 0 0 70 0 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786694707752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21188] ppid=21180 vsize=9625004 CPUtime=0.8 cores=1,3,5,7 /proc/21182/task/21188/stat : 21188 (java) S 21180 21182 16973 0 -1 4202560 135 0 0 0 80 0 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786693654952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21189] ppid=21180 vsize=9625004 CPUtime=0.69 cores=1,3,5,7 /proc/21182/task/21189/stat : 21189 (java) S 21180 21182 16973 0 -1 4202560 113 0 0 0 67 2 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786692602664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21190] ppid=21180 vsize=9625004 CPUtime=0.8 cores=1,3,5,7 /proc/21182/task/21190/stat : 21190 (java) S 21180 21182 16973 0 -1 4202560 137 0 0 0 79 1 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786691549864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21191] ppid=21180 vsize=9625004 CPUtime=0.67 cores=1,3,5,7 /proc/21182/task/21191/stat : 21191 (java) S 21180 21182 16973 0 -1 4202560 262 0 0 0 66 1 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786561563688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21192] ppid=21180 vsize=9625004 CPUtime=0.77 cores=1,3,5,7 /proc/21182/task/21192/stat : 21192 (java) S 21180 21182 16973 0 -1 4202560 159 0 0 0 76 1 0 0 20 0 19 0 281515415 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786560510888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21193] ppid=21180 vsize=9625004 CPUtime=6.51 cores=1,3,5,7 /proc/21182/task/21193/stat : 21193 (java) S 21180 21182 16973 0 -1 4202560 157 0 0 0 648 3 0 0 20 0 19 0 281515416 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786077563112 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21182/tid=21194] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21194/stat : 21194 (java) S 21180 21182 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281515417 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786076509176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21195] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21195/stat : 21195 (java) S 21180 21182 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281515417 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786075456776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21196] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21196/stat : 21196 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786074405264 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21197] ppid=21180 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/21182/task/21197/stat : 21197 (java) S 21180 21182 16973 0 -1 4202560 2939 0 0 0 33 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786073352888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21198] ppid=21180 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/21182/task/21198/stat : 21198 (java) S 21180 21182 16973 0 -1 4202560 4476 0 0 0 39 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786072300088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21182/tid=21199] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21199/stat : 21199 (java) S 21180 21182 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786071247992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21182/tid=21200] ppid=21180 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/21182/task/21200/stat : 21200 (java) S 21180 21182 16973 0 -1 4202560 103 0 0 0 14 24 0 0 20 0 19 0 281515419 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786070195400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21182/tid=21201] ppid=21180 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/21182/task/21201/stat : 21201 (java) S 21180 21182 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281515429 9856004096 38304 33554432000 1073741824 1073778376 140733880936176 139786069140392 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 9625004 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21182 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=27114 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=791879 # CPU time returned by wait4() is 1795.82 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.25 CPU time (s): 1800.02 CPU user time (s): 1799.6 CPU system time (s): 0.42 CPU usage (%): 100.266 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.03 system time used= 0.791879 maximum resident set size= 153376 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13270 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= 44250 involuntary context switches= 48130 runsolver used 5.48117 second user time and 15.2627 second system time The end
Begin job on node117 at 2012-05-27 23:24:57 IDJOB=3710832 IDBENCH=2902 IDSOLVER=2289 FILE ID=node117/3710832-1338153897 RUNJOBID= node117-1338124635-16990 PBS_JOBID= 14624513 Free space on /tmp= 70048 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_6_50_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-3710832-1338153897/watcher-3710832-1338153897 -o /tmp/evaluation-result-3710832-1338153897/solver-3710832-1338153897 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710832-1338153897.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=1027635777 node117.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.148 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.29 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.148 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.148 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.91 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.148 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.95 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.148 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.148 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.148 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 : 5331.91 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.148 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: 32873660 kB MemFree: 27389172 kB Buffers: 334336 kB Cached: 4046328 kB SwapCached: 0 kB Active: 2425468 kB Inactive: 2185996 kB Active(anon): 221884 kB Inactive(anon): 11352 kB Active(file): 2203584 kB Inactive(file): 2174644 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 872 kB Writeback: 0 kB AnonPages: 264064 kB Mapped: 22616 kB Shmem: 200 kB Slab: 735216 kB SReclaimable: 179448 kB SUnreclaim: 555768 kB KernelStack: 1760 kB PageTables: 4660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545684 kB Committed_AS: 697964 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 227328 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= 70048 MiB End job on node117 at 2012-05-27 23:54:54