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) | 6 | 1800.05 | 1793.65 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8d16c34d0eecf3c16ca4b890652c15ca |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 1791.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 7 |
| 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 | 64 |
| 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 | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| 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.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.04/0.08 c version 2.3.2.v20120418 0.04/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.08 c java.vm.version 19.1-b02 0.04/0.08 c java.vm.vendor Sun Microsystems Inc. 0.04/0.08 c sun.arch.data.model 64 0.04/0.08 c java.version 1.6.0_24 0.04/0.08 c os.name Linux 0.04/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.08 c os.arch amd64 0.04/0.08 c Free memory 501472288 0.04/0.08 c Max memory 7480803328 0.04/0.08 c Total memory 504102912 0.04/0.08 c Number of processors 8 0.10/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.10/0.12 c configuring ORDERS 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=true 0.10/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3710834-1338154095.opb 0.10/0.12 c reading problem ... 0.10/0.17 c ... done. Wall clock time 0.041s. 0.10/0.17 c declared #vars 146 0.10/0.17 c #constraints 12 0.10/0.17 c constraints type 0.10/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12 0.10/0.17 c 12 constraints processed. 0.10/0.17 c SATISFIABLE 0.10/0.17 c OPTIMIZING... 0.10/0.17 c Got one! Elapsed wall clock time (in seconds):0.048 0.10/0.17 o 1114 0.25/0.21 c Got one! Elapsed wall clock time (in seconds):0.085 0.25/0.21 o 1112 0.25/0.22 c Got one! Elapsed wall clock time (in seconds):0.092 0.25/0.22 o 1110 0.25/0.23 c Got one! Elapsed wall clock time (in seconds):0.103 0.25/0.23 o 1108 0.25/0.23 c Got one! Elapsed wall clock time (in seconds):0.109 0.25/0.23 o 1094 0.25/0.24 c Got one! Elapsed wall clock time (in seconds):0.113 0.25/0.24 o 1076 0.25/0.24 c Got one! Elapsed wall clock time (in seconds):0.117 0.25/0.24 o 1072 0.25/0.25 c Got one! Elapsed wall clock time (in seconds):0.12 0.25/0.25 o 1054 0.25/0.25 c Got one! Elapsed wall clock time (in seconds):0.124 0.25/0.25 o 1050 0.25/0.25 c Got one! Elapsed wall clock time (in seconds):0.127 0.25/0.25 o 1038 0.25/0.25 c Got one! Elapsed wall clock time (in seconds):0.13 0.25/0.25 o 1030 0.25/0.26 c Got one! Elapsed wall clock time (in seconds):0.132 0.25/0.26 o 1022 0.25/0.27 c Got one! Elapsed wall clock time (in seconds):0.143 0.25/0.27 o 1020 0.25/0.27 c Got one! Elapsed wall clock time (in seconds):0.146 0.25/0.27 o 1018 0.25/0.28 c Got one! Elapsed wall clock time (in seconds):0.151 0.25/0.28 o 1016 0.25/0.28 c Got one! Elapsed wall clock time (in seconds):0.153 0.25/0.28 o 1014 0.25/0.28 c Got one! Elapsed wall clock time (in seconds):0.155 0.25/0.28 o 1012 0.25/0.28 c Got one! Elapsed wall clock time (in seconds):0.158 0.25/0.28 o 1010 0.25/0.28 c Got one! Elapsed wall clock time (in seconds):0.16 0.25/0.28 o 1008 0.25/0.29 c Got one! Elapsed wall clock time (in seconds):0.162 0.25/0.29 o 1006 0.25/0.29 c Got one! Elapsed wall clock time (in seconds):0.165 0.25/0.29 o 1004 0.25/0.29 c Got one! Elapsed wall clock time (in seconds):0.166 0.25/0.29 o 982 0.54/0.30 c Got one! Elapsed wall clock time (in seconds):0.171 0.54/0.30 o 980 0.54/0.30 c Got one! Elapsed wall clock time (in seconds):0.175 0.54/0.30 o 978 0.54/0.31 c Got one! Elapsed wall clock time (in seconds):0.182 0.54/0.31 o 976 0.54/0.31 c Got one! Elapsed wall clock time (in seconds):0.184 0.54/0.31 o 974 0.54/0.31 c Got one! Elapsed wall clock time (in seconds):0.187 0.54/0.31 o 972 0.54/0.31 c Got one! Elapsed wall clock time (in seconds):0.189 0.54/0.31 o 968 0.54/0.32 c Got one! Elapsed wall clock time (in seconds):0.19 0.54/0.32 o 966 0.54/0.32 c Got one! Elapsed wall clock time (in seconds):0.192 0.54/0.32 o 964 0.54/0.32 c Got one! Elapsed wall clock time (in seconds):0.194 0.54/0.32 o 962 0.54/0.32 c Got one! Elapsed wall clock time (in seconds):0.196 0.54/0.32 o 960 0.54/0.32 c Got one! Elapsed wall clock time (in seconds):0.197 0.54/0.32 o 958 0.54/0.33 c Got one! Elapsed wall clock time (in seconds):0.202 0.54/0.33 o 954 0.54/0.33 c Got one! Elapsed wall clock time (in seconds):0.209 0.54/0.33 o 953 0.54/0.34 c Got one! Elapsed wall clock time (in seconds):0.213 0.54/0.34 o 951 0.54/0.34 c Got one! Elapsed wall clock time (in seconds):0.217 0.54/0.34 o 947 0.54/0.34 c Got one! Elapsed wall clock time (in seconds):0.218 0.54/0.34 o 923 0.54/0.34 c Got one! Elapsed wall clock time (in seconds):0.219 0.54/0.34 o 835 0.54/0.35 c Got one! Elapsed wall clock time (in seconds):0.221 0.54/0.35 o 833 0.54/0.35 c Got one! Elapsed wall clock time (in seconds):0.222 0.54/0.35 o 831 0.54/0.35 c Got one! Elapsed wall clock time (in seconds):0.224 0.54/0.35 o 829 0.54/0.35 c Got one! Elapsed wall clock time (in seconds):0.229 0.54/0.35 o 828 0.54/0.36 c Got one! Elapsed wall clock time (in seconds):0.231 0.54/0.36 o 826 0.54/0.36 c Got one! Elapsed wall clock time (in seconds):0.233 0.54/0.36 o 824 0.54/0.36 c Got one! Elapsed wall clock time (in seconds):0.239 0.54/0.36 o 808 0.54/0.37 c Got one! Elapsed wall clock time (in seconds):0.242 0.54/0.37 o 806 0.54/0.37 c Got one! Elapsed wall clock time (in seconds):0.244 0.54/0.37 o 792 0.54/0.37 c Got one! Elapsed wall clock time (in seconds):0.249 0.54/0.37 o 790 0.54/0.38 c Got one! Elapsed wall clock time (in seconds):0.253 0.54/0.38 o 766 0.54/0.38 c Got one! Elapsed wall clock time (in seconds):0.259 0.54/0.38 o 750 0.54/0.39 c Got one! Elapsed wall clock time (in seconds):0.261 0.54/0.39 o 676 0.54/0.39 c Got one! Elapsed wall clock time (in seconds):0.267 0.54/0.39 o 674 0.54/0.40 c Got one! Elapsed wall clock time (in seconds):0.271 0.83/0.40 o 672 0.83/0.40 c Got one! Elapsed wall clock time (in seconds):0.277 0.83/0.40 o 670 0.83/0.41 c Got one! Elapsed wall clock time (in seconds):0.28 0.83/0.41 o 668 0.83/0.41 c Got one! Elapsed wall clock time (in seconds):0.282 0.83/0.41 o 666 0.83/0.41 c Got one! Elapsed wall clock time (in seconds):0.284 0.83/0.41 o 658 0.83/0.41 c Got one! Elapsed wall clock time (in seconds):0.287 0.83/0.41 o 656 0.83/0.42 c Got one! Elapsed wall clock time (in seconds):0.292 0.83/0.42 o 654 0.83/0.42 c Got one! Elapsed wall clock time (in seconds):0.295 0.83/0.42 o 653 0.83/0.43 c Got one! Elapsed wall clock time (in seconds):0.303 0.83/0.43 o 651 0.83/0.43 c Got one! Elapsed wall clock time (in seconds):0.305 0.83/0.43 o 627 0.83/0.43 c Got one! Elapsed wall clock time (in seconds):0.306 0.83/0.43 o 625 0.83/0.43 c Got one! Elapsed wall clock time (in seconds):0.308 0.83/0.43 o 623 0.83/0.43 c Got one! Elapsed wall clock time (in seconds):0.31 0.83/0.43 o 615 0.83/0.44 c Got one! Elapsed wall clock time (in seconds):0.311 0.83/0.44 o 595 0.83/0.44 c Got one! Elapsed wall clock time (in seconds):0.312 0.83/0.44 o 593 0.83/0.44 c Got one! Elapsed wall clock time (in seconds):0.315 0.83/0.44 o 591 0.83/0.44 c Got one! Elapsed wall clock time (in seconds):0.317 0.83/0.44 o 589 0.83/0.44 c Got one! Elapsed wall clock time (in seconds):0.318 0.83/0.44 o 551 0.83/0.44 c Got one! Elapsed wall clock time (in seconds):0.319 0.83/0.44 o 497 0.83/0.45 c Got one! Elapsed wall clock time (in seconds):0.32 0.83/0.45 o 449 0.83/0.45 c Got one! Elapsed wall clock time (in seconds):0.322 0.83/0.45 o 447 0.83/0.45 c Got one! Elapsed wall clock time (in seconds):0.325 0.83/0.45 o 445 0.83/0.45 c Got one! Elapsed wall clock time (in seconds):0.326 0.83/0.45 o 443 0.83/0.45 c Got one! Elapsed wall clock time (in seconds):0.328 0.83/0.45 o 441 0.83/0.45 c Got one! Elapsed wall clock time (in seconds):0.329 0.83/0.45 o 437 0.83/0.46 c Got one! Elapsed wall clock time (in seconds):0.33 0.83/0.46 o 430 0.83/0.46 c Got one! Elapsed wall clock time (in seconds):0.333 0.83/0.46 o 428 0.83/0.46 c Got one! Elapsed wall clock time (in seconds):0.338 0.83/0.46 o 426 0.83/0.47 c Got one! Elapsed wall clock time (in seconds):0.341 0.83/0.47 o 424 0.83/0.48 c Got one! Elapsed wall clock time (in seconds):0.353 0.83/0.48 o 420 0.83/0.49 c Got one! Elapsed wall clock time (in seconds):0.361 0.83/0.49 o 418 0.83/0.49 c Got one! Elapsed wall clock time (in seconds):0.363 0.83/0.49 o 410 0.83/0.49 c Got one! Elapsed wall clock time (in seconds):0.366 0.83/0.49 o 408 0.83/0.49 c Got one! Elapsed wall clock time (in seconds):0.367 0.83/0.49 o 406 0.83/0.49 c Got one! Elapsed wall clock time (in seconds):0.368 0.83/0.49 o 404 0.83/0.50 c Got one! Elapsed wall clock time (in seconds):0.37 0.83/0.50 o 400 1.07/0.50 c Got one! Elapsed wall clock time (in seconds):0.374 1.07/0.50 o 398 1.07/0.50 c Got one! Elapsed wall clock time (in seconds):0.375 1.07/0.50 o 396 1.07/0.50 c Got one! Elapsed wall clock time (in seconds):0.376 1.07/0.50 o 394 1.07/0.50 c Got one! Elapsed wall clock time (in seconds):0.378 1.07/0.50 o 392 1.07/0.50 c Got one! Elapsed wall clock time (in seconds):0.38 1.07/0.50 o 388 1.07/0.51 c Got one! Elapsed wall clock time (in seconds):0.382 1.07/0.51 o 386 1.07/0.51 c Got one! Elapsed wall clock time (in seconds):0.385 1.07/0.51 o 384 1.07/0.52 c Got one! Elapsed wall clock time (in seconds):0.393 1.07/0.52 o 383 1.07/0.52 c Got one! Elapsed wall clock time (in seconds):0.396 1.07/0.52 o 381 1.07/0.52 c Got one! Elapsed wall clock time (in seconds):0.399 1.07/0.52 o 377 1.07/0.53 c Got one! Elapsed wall clock time (in seconds):0.406 1.07/0.53 o 345 1.07/0.53 c Got one! Elapsed wall clock time (in seconds):0.409 1.07/0.53 o 343 1.07/0.54 c Got one! Elapsed wall clock time (in seconds):0.411 1.07/0.54 o 329 1.07/0.54 c Got one! Elapsed wall clock time (in seconds):0.414 1.07/0.54 o 327 1.07/0.54 c Got one! Elapsed wall clock time (in seconds):0.417 1.07/0.54 o 325 1.07/0.55 c Got one! Elapsed wall clock time (in seconds):0.425 1.07/0.55 o 323 1.07/0.55 c Got one! Elapsed wall clock time (in seconds):0.428 1.07/0.55 o 321 1.07/0.56 c Got one! Elapsed wall clock time (in seconds):0.431 1.07/0.56 o 319 1.07/0.56 c Got one! Elapsed wall clock time (in seconds):0.435 1.07/0.56 o 313 1.07/0.56 c Got one! Elapsed wall clock time (in seconds):0.438 1.07/0.56 o 311 1.07/0.56 c Got one! Elapsed wall clock time (in seconds):0.44 1.07/0.56 o 309 1.07/0.57 c Got one! Elapsed wall clock time (in seconds):0.443 1.07/0.57 o 307 1.07/0.57 c Got one! Elapsed wall clock time (in seconds):0.446 1.07/0.57 o 305 1.07/0.57 c Got one! Elapsed wall clock time (in seconds):0.449 1.07/0.57 o 303 1.07/0.58 c Got one! Elapsed wall clock time (in seconds):0.457 1.07/0.58 o 301 1.21/0.61 c Got one! Elapsed wall clock time (in seconds):0.489 1.21/0.61 o 299 1.21/0.62 c Got one! Elapsed wall clock time (in seconds):0.493 1.21/0.62 o 297 1.21/0.66 c Got one! Elapsed wall clock time (in seconds):0.532 1.21/0.66 o 295 1.21/0.66 c Got one! Elapsed wall clock time (in seconds):0.535 1.21/0.66 o 279 1.21/0.66 c Got one! Elapsed wall clock time (in seconds):0.538 1.21/0.66 o 277 1.21/0.67 c Got one! Elapsed wall clock time (in seconds):0.545 1.21/0.67 o 275 1.21/0.67 c Got one! Elapsed wall clock time (in seconds):0.548 1.21/0.67 o 273 1.21/0.68 c Got one! Elapsed wall clock time (in seconds):0.551 1.21/0.68 o 271 1.21/0.68 c Got one! Elapsed wall clock time (in seconds):0.554 1.21/0.68 o 269 1.21/0.68 c Got one! Elapsed wall clock time (in seconds):0.557 1.21/0.68 o 267 1.21/0.69 c Got one! Elapsed wall clock time (in seconds):0.561 1.21/0.69 o 263 1.21/0.69 c Got one! Elapsed wall clock time (in seconds):0.564 1.21/0.69 o 261 1.21/0.69 c Got one! Elapsed wall clock time (in seconds):0.566 1.21/0.69 o 259 1.31/0.70 c Got one! Elapsed wall clock time (in seconds):0.573 1.31/0.70 o 257 1.31/0.70 c Got one! Elapsed wall clock time (in seconds):0.576 1.31/0.70 o 253 1.31/0.70 c Got one! Elapsed wall clock time (in seconds):0.578 1.31/0.70 o 245 1.31/0.71 c Got one! Elapsed wall clock time (in seconds):0.581 1.31/0.71 o 243 1.31/0.71 c Got one! Elapsed wall clock time (in seconds):0.583 1.31/0.71 o 239 1.31/0.71 c Got one! Elapsed wall clock time (in seconds):0.588 1.31/0.71 o 235 1.31/0.71 c Got one! Elapsed wall clock time (in seconds):0.59 1.31/0.71 o 233 1.31/0.72 c Got one! Elapsed wall clock time (in seconds):0.592 1.31/0.72 o 231 1.31/0.72 c Got one! Elapsed wall clock time (in seconds):0.595 1.31/0.72 o 229 1.31/0.72 c Got one! Elapsed wall clock time (in seconds):0.597 1.31/0.72 o 225 1.31/0.72 c Got one! Elapsed wall clock time (in seconds):0.599 1.31/0.72 o 223 1.31/0.76 c Got one! Elapsed wall clock time (in seconds):0.636 1.31/0.76 o 221 1.31/0.76 c Got one! Elapsed wall clock time (in seconds):0.638 1.31/0.76 o 219 1.56/0.97 c Got one! Elapsed wall clock time (in seconds):0.841 1.56/0.97 o 217 1.56/0.97 c Got one! Elapsed wall clock time (in seconds):0.843 1.56/0.97 o 215 1.56/0.97 c Got one! Elapsed wall clock time (in seconds):0.846 1.56/0.97 o 213 1.67/1.06 c cleaning 6997 clauses out of 13994 with flag 1000/13994 2.00/1.33 c Got one! Elapsed wall clock time (in seconds):1.205 2.00/1.33 o 212 2.00/1.33 c Got one! Elapsed wall clock time (in seconds):1.209 2.00/1.33 o 210 2.00/1.34 c Got one! Elapsed wall clock time (in seconds):1.214 2.00/1.34 o 208 2.00/1.34 c Got one! Elapsed wall clock time (in seconds):1.217 2.00/1.34 o 206 2.00/1.35 c Got one! Elapsed wall clock time (in seconds):1.22 2.00/1.35 o 204 2.00/1.35 c Got one! Elapsed wall clock time (in seconds):1.223 2.00/1.35 o 202 2.00/1.35 c Got one! Elapsed wall clock time (in seconds):1.225 2.00/1.35 o 200 2.10/1.40 c Got one! Elapsed wall clock time (in seconds):1.279 2.10/1.40 o 199 2.10/1.42 c Got one! Elapsed wall clock time (in seconds):1.296 2.10/1.42 o 197 2.10/1.42 c Got one! Elapsed wall clock time (in seconds):1.299 2.10/1.42 o 195 2.10/1.43 c Got one! Elapsed wall clock time (in seconds):1.309 2.10/1.43 o 193 2.10/1.44 c Got one! Elapsed wall clock time (in seconds):1.315 2.10/1.44 o 191 2.10/1.46 c Got one! Elapsed wall clock time (in seconds):1.335 2.10/1.46 o 189 2.10/1.46 c Got one! Elapsed wall clock time (in seconds):1.338 2.10/1.46 o 169 2.10/1.47 c Got one! Elapsed wall clock time (in seconds):1.342 2.10/1.47 o 167 2.10/1.47 c Got one! Elapsed wall clock time (in seconds):1.345 2.10/1.47 o 165 2.10/1.48 c Got one! Elapsed wall clock time (in seconds):1.35 2.10/1.48 o 163 2.10/1.48 c Got one! Elapsed wall clock time (in seconds):1.353 2.10/1.48 o 161 2.10/1.48 c Got one! Elapsed wall clock time (in seconds):1.356 2.10/1.48 o 159 2.10/1.48 c Got one! Elapsed wall clock time (in seconds):1.358 2.10/1.48 o 157 2.10/1.49 c Got one! Elapsed wall clock time (in seconds):1.36 2.10/1.49 o 155 2.20/1.51 c Got one! Elapsed wall clock time (in seconds):1.382 2.20/1.51 o 154 2.20/1.51 c Got one! Elapsed wall clock time (in seconds):1.386 2.20/1.51 o 152 2.20/1.52 c Got one! Elapsed wall clock time (in seconds):1.399 2.20/1.52 o 150 2.20/1.53 c Got one! Elapsed wall clock time (in seconds):1.404 2.20/1.53 o 146 2.20/1.53 c Got one! Elapsed wall clock time (in seconds):1.407 2.20/1.53 o 144 2.20/1.53 c Got one! Elapsed wall clock time (in seconds):1.41 2.20/1.53 o 142 2.20/1.54 c Got one! Elapsed wall clock time (in seconds):1.415 2.20/1.54 o 140 2.20/1.54 c Got one! Elapsed wall clock time (in seconds):1.418 2.20/1.54 o 138 2.20/1.55 c Got one! Elapsed wall clock time (in seconds):1.421 2.20/1.55 o 136 2.20/1.55 c Got one! Elapsed wall clock time (in seconds):1.427 2.20/1.55 o 130 2.20/1.57 c Got one! Elapsed wall clock time (in seconds):1.445 2.20/1.57 o 129 2.20/1.57 c Got one! Elapsed wall clock time (in seconds):1.448 2.20/1.57 o 127 2.20/1.58 c Got one! Elapsed wall clock time (in seconds):1.456 2.20/1.58 o 121 2.20/1.58 c Got one! Elapsed wall clock time (in seconds):1.459 2.20/1.58 o 113 2.20/1.59 c Got one! Elapsed wall clock time (in seconds):1.461 2.20/1.59 o 111 2.20/1.59 c Got one! Elapsed wall clock time (in seconds):1.469 2.20/1.59 o 109 2.31/1.60 c Got one! Elapsed wall clock time (in seconds):1.476 2.31/1.60 o 107 2.31/1.60 c Got one! Elapsed wall clock time (in seconds):1.479 2.31/1.60 o 105 2.31/1.61 c Got one! Elapsed wall clock time (in seconds):1.481 2.31/1.61 o 103 2.31/1.61 c Got one! Elapsed wall clock time (in seconds):1.483 2.31/1.61 o 101 2.31/1.61 c Got one! Elapsed wall clock time (in seconds):1.485 2.31/1.61 o 97 2.31/1.61 c Got one! Elapsed wall clock time (in seconds):1.488 2.31/1.61 o 95 2.31/1.62 c Got one! Elapsed wall clock time (in seconds):1.49 2.31/1.62 o 93 2.31/1.62 c Got one! Elapsed wall clock time (in seconds):1.492 2.31/1.62 o 87 2.31/1.62 c Got one! Elapsed wall clock time (in seconds):1.494 2.31/1.62 o 85 2.31/1.62 c Got one! Elapsed wall clock time (in seconds):1.499 2.31/1.62 o 81 2.31/1.63 c Got one! Elapsed wall clock time (in seconds):1.502 2.31/1.63 o 79 2.31/1.63 c Got one! Elapsed wall clock time (in seconds):1.504 2.31/1.63 o 73 2.31/1.63 c Got one! Elapsed wall clock time (in seconds):1.506 2.31/1.63 o 71 2.31/1.63 c Got one! Elapsed wall clock time (in seconds):1.51 2.31/1.63 o 69 2.31/1.64 c Got one! Elapsed wall clock time (in seconds):1.512 2.31/1.64 o 67 2.31/1.64 c Got one! Elapsed wall clock time (in seconds):1.516 2.31/1.64 o 65 2.31/1.65 c Got one! Elapsed wall clock time (in seconds):1.522 2.31/1.65 o 63 2.31/1.65 c Got one! Elapsed wall clock time (in seconds):1.53 2.31/1.65 o 61 2.31/1.66 c Got one! Elapsed wall clock time (in seconds):1.531 2.31/1.66 o 59 2.31/1.66 c Got one! Elapsed wall clock time (in seconds):1.532 2.31/1.66 o 57 2.31/1.68 c Got one! Elapsed wall clock time (in seconds):1.557 2.31/1.68 o 55 2.51/1.85 c cleaning 4259 clauses out of 8523 with flag 4003/28032 2.82/2.18 c cleaning 5129 clauses out of 10261 with flag 10000/34029 3.23/2.52 c cleaning 6065 clauses out of 12132 with flag 17000/41029 3.62/2.92 c cleaning 7031 clauses out of 14069 with flag 25002/49031 3.73/3.03 c Got one! Elapsed wall clock time (in seconds):2.904 3.73/3.03 o 53 3.73/3.03 c Got one! Elapsed wall clock time (in seconds):2.907 3.73/3.03 o 51 3.73/3.03 c Got one! Elapsed wall clock time (in seconds):2.908 3.73/3.03 o 49 3.73/3.03 c Got one! Elapsed wall clock time (in seconds):2.91 3.73/3.03 o 47 3.73/3.04 c Got one! Elapsed wall clock time (in seconds):2.912 3.73/3.04 o 43 3.83/3.18 c cleaning 6107 clauses out of 12219 with flag 3002/54212 4.13/3.45 c cleaning 6052 clauses out of 12111 with flag 9001/60211 4.43/3.79 c cleaning 6526 clauses out of 13058 with flag 16000/67210 4.83/4.16 c cleaning 7264 clauses out of 14536 with flag 24004/75214 5.34/4.60 c cleaning 8133 clauses out of 16268 with flag 33000/84210 5.84/5.11 c cleaning 9065 clauses out of 18135 with flag 43000/94210 6.44/5.71 c cleaning 10034 clauses out of 20070 with flag 54000/105210 7.15/6.40 c cleaning 11014 clauses out of 22038 with flag 66002/117212 7.75/7.10 c cleaning 12004 clauses out of 24022 with flag 79000/130210 8.55/7.84 c cleaning 13003 clauses out of 26020 with flag 93002/144212 8.66/7.99 c Got one! Elapsed wall clock time (in seconds):7.87 8.66/7.99 o 42 8.86/8.12 c cleaning 9245 clauses out of 18502 with flag 2002/149697 9.16/8.42 c cleaning 7618 clauses out of 15255 with flag 8000/155695 9.47/8.77 c cleaning 7313 clauses out of 14637 with flag 15000/162695 9.87/9.19 c cleaning 7656 clauses out of 15324 with flag 23000/170695 10.37/9.68 c cleaning 8330 clauses out of 16668 with flag 32000/179695 11.01/10.25 c cleaning 9159 clauses out of 18338 with flag 42000/189695 11.62/10.87 c cleaning 10085 clauses out of 20180 with flag 53001/200696 12.34/11.54 c cleaning 11036 clauses out of 22094 with flag 65000/212695 12.66/11.86 c Got one! Elapsed wall clock time (in seconds):11.734 12.66/11.86 o 41 12.66/11.87 c Got one! Elapsed wall clock time (in seconds):11.743 12.66/11.87 o 39 12.66/11.87 c Got one! Elapsed wall clock time (in seconds):11.746 12.66/11.87 o 37 12.66/11.87 c Got one! Elapsed wall clock time (in seconds):11.749 12.66/11.87 o 35 12.66/11.88 c Got one! Elapsed wall clock time (in seconds):11.752 12.66/11.88 o 31 12.66/11.88 c Got one! Elapsed wall clock time (in seconds):11.758 12.66/11.88 o 29 13.06/12.21 c cleaning 9911 clauses out of 19827 with flag 5003/223763 13.37/12.53 c cleaning 7957 clauses out of 15916 with flag 11003/229763 13.59/12.70 c Got one! Elapsed wall clock time (in seconds):12.572 13.59/12.70 o 28 13.69/12.86 c cleaning 6970 clauses out of 13953 with flag 3005/235757 13.99/13.14 c cleaning 6482 clauses out of 12978 with flag 9000/241752 14.29/13.47 c cleaning 6744 clauses out of 13497 with flag 16001/248753 14.69/13.88 c cleaning 7374 clauses out of 14752 with flag 24000/256752 15.20/14.37 c cleaning 8187 clauses out of 16378 with flag 33000/265752 15.71/14.88 c cleaning 9094 clauses out of 18192 with flag 43001/275753 16.32/15.47 c cleaning 10047 clauses out of 20099 with flag 54002/286754 17.02/16.18 c cleaning 11020 clauses out of 22050 with flag 66000/298752 17.84/16.91 c cleaning 12016 clauses out of 24031 with flag 79001/311753 18.65/17.73 c cleaning 13004 clauses out of 26014 with flag 93000/325752 19.65/18.75 c cleaning 14007 clauses out of 28013 with flag 108003/340755 20.67/19.75 c cleaning 14999 clauses out of 30006 with flag 124003/356755 21.77/20.90 c cleaning 16000 clauses out of 32006 with flag 141002/373754 23.07/22.15 c cleaning 16997 clauses out of 34006 with flag 159002/391754 24.50/23.51 c cleaning 18004 clauses out of 36008 with flag 178001/410753 25.11/24.11 c Got one! Elapsed wall clock time (in seconds):23.99 25.11/24.11 o 26 25.11/24.12 c Got one! Elapsed wall clock time (in seconds):23.996 25.11/24.12 o 22 25.11/24.13 c Got one! Elapsed wall clock time (in seconds):24.001 25.11/24.13 o 20 25.50/24.51 c cleaning 16343 clauses out of 32697 with flag 5000/425446 25.81/24.88 c cleaning 11179 clauses out of 22358 with flag 11004/431450 26.32/25.31 c cleaning 9083 clauses out of 18177 with flag 18002/438448 26.71/25.78 c cleaning 8539 clauses out of 17094 with flag 26002/446448 27.22/26.28 c cleaning 8773 clauses out of 17553 with flag 35000/455446 27.82/26.85 c cleaning 9389 clauses out of 18781 with flag 45001/465447 28.43/27.44 c cleaning 10193 clauses out of 20391 with flag 56000/476446 29.22/28.28 c cleaning 11096 clauses out of 22198 with flag 68000/488446 30.14/29.11 c cleaning 12048 clauses out of 24106 with flag 81004/501450 31.04/30.07 c cleaning 13025 clauses out of 26061 with flag 95007/515453 32.04/31.01 c cleaning 14014 clauses out of 28030 with flag 110001/530447 33.16/32.12 c cleaning 15005 clauses out of 30015 with flag 126000/546446 34.48/33.41 c cleaning 16005 clauses out of 32012 with flag 143002/563448 36.10/35.01 c cleaning 17000 clauses out of 34008 with flag 161003/581449 37.60/36.53 c cleaning 17996 clauses out of 36005 with flag 180000/600446 39.21/38.10 c cleaning 19004 clauses out of 38010 with flag 200001/620447 40.83/39.76 c cleaning 20001 clauses out of 40005 with flag 221000/641446 42.63/41.52 c cleaning 20995 clauses out of 42004 with flag 243000/663446 44.65/43.57 c cleaning 21999 clauses out of 44009 with flag 266000/686446 46.75/45.65 c cleaning 23000 clauses out of 46010 with flag 290000/710446 47.76/46.69 c Got one! Elapsed wall clock time (in seconds):46.568 47.76/46.69 o 19 48.37/47.21 c cleaning 21104 clauses out of 42207 with flag 5002/729643 48.68/47.59 c cleaning 13543 clauses out of 27101 with flag 11000/735641 49.08/47.97 c cleaning 10273 clauses out of 20560 with flag 18002/742643 49.59/48.42 c cleaning 9143 clauses out of 18289 with flag 26004/750645 49.98/48.85 c cleaning 9066 clauses out of 18145 with flag 35003/759644 50.49/49.36 c cleaning 9535 clauses out of 19076 with flag 45000/769641 51.09/49.99 c cleaning 10270 clauses out of 20545 with flag 56004/780645 51.81/50.69 c cleaning 11134 clauses out of 22272 with flag 68001/792642 52.61/51.49 c cleaning 12066 clauses out of 24140 with flag 81003/805644 53.51/52.34 c cleaning 13028 clauses out of 26071 with flag 95000/819641 54.61/53.43 c cleaning 14020 clauses out of 28044 with flag 110001/834642 55.81/54.60 c cleaning 15005 clauses out of 30024 with flag 126001/850642 57.03/55.80 c cleaning 16002 clauses out of 32018 with flag 143000/867641 58.55/57.35 c cleaning 17003 clauses out of 34018 with flag 161002/885643 60.07/58.83 c cleaning 18004 clauses out of 36013 with flag 180000/904641 60.77/59.54 c Got one! Elapsed wall clock time (in seconds):59.414 60.77/59.54 o 18 61.27/60.09 c cleaning 16724 clauses out of 33454 with flag 5000/920086 61.68/60.50 c cleaning 11358 clauses out of 22730 with flag 11000/926086 62.08/60.86 c cleaning 9178 clauses out of 18374 with flag 18002/933088 62.58/61.31 c cleaning 8591 clauses out of 17196 with flag 26002/941088 63.08/61.84 c cleaning 8797 clauses out of 17604 with flag 35001/950087 63.68/62.46 c cleaning 9403 clauses out of 18808 with flag 45002/960088 64.38/63.17 c cleaning 10202 clauses out of 20403 with flag 56000/971086 64.49/63.23 c Got one! Elapsed wall clock time (in seconds):63.11 64.49/63.23 o 17 64.49/63.24 c Got one! Elapsed wall clock time (in seconds):63.113 64.49/63.24 o 15 64.69/63.44 c cleaning 7276 clauses out of 14561 with flag 4003/976267 65.00/63.72 c cleaning 6635 clauses out of 13283 with flag 10001/982265 65.31/64.07 c cleaning 6823 clauses out of 13647 with flag 17000/989264 65.71/64.48 c cleaning 7411 clauses out of 14826 with flag 25002/997266 66.23/64.94 c cleaning 8206 clauses out of 16414 with flag 34001/1006265 66.73/65.47 c cleaning 9100 clauses out of 18208 with flag 44001/1016265 67.37/66.08 c cleaning 10049 clauses out of 20109 with flag 55002/1027266 68.07/66.79 c cleaning 11025 clauses out of 22058 with flag 67000/1039264 69.09/67.73 c cleaning 12018 clauses out of 24038 with flag 80005/1052269 70.19/68.83 c cleaning 13005 clauses out of 26016 with flag 94001/1066265 71.23/69.82 c cleaning 14004 clauses out of 28010 with flag 109000/1081264 72.25/70.88 c cleaning 15001 clauses out of 30007 with flag 125001/1097265 73.55/72.12 c cleaning 16003 clauses out of 32005 with flag 142000/1114264 74.95/73.58 c cleaning 17001 clauses out of 34002 with flag 160000/1132264 76.67/75.24 c cleaning 17999 clauses out of 36001 with flag 179000/1151264 78.39/76.91 c cleaning 19000 clauses out of 38003 with flag 199001/1171265 80.00/78.53 c cleaning 19997 clauses out of 40006 with flag 220004/1192268 81.71/80.30 c cleaning 20999 clauses out of 42005 with flag 242000/1214264 83.71/82.22 c cleaning 22003 clauses out of 44006 with flag 265000/1237264 85.92/84.43 c cleaning 23002 clauses out of 46003 with flag 289000/1261264 87.85/86.39 c cleaning 23994 clauses out of 48001 with flag 314000/1286264 89.96/88.45 c cleaning 25001 clauses out of 50008 with flag 340001/1312265 92.08/90.57 c cleaning 25997 clauses out of 52007 with flag 367001/1339265 94.58/93.02 c cleaning 27003 clauses out of 54012 with flag 395003/1367267 97.20/95.69 c cleaning 28004 clauses out of 56008 with flag 424002/1396266 100.01/98.47 c cleaning 28996 clauses out of 58002 with flag 454000/1426264 103.13/101.59 c cleaning 30001 clauses out of 60007 with flag 485001/1457265 104.44/102.81 c Got one! Elapsed wall clock time (in seconds):102.688 104.44/102.81 o 13 105.14/103.54 c cleaning 24653 clauses out of 49321 with flag 5000/1476580 105.56/103.97 c cleaning 15328 clauses out of 30671 with flag 11003/1482583 105.97/104.37 c cleaning 11164 clauses out of 22340 with flag 18000/1489580 106.49/104.80 c cleaning 9585 clauses out of 19178 with flag 26002/1497582 107.01/105.33 c cleaning 9292 clauses out of 18594 with flag 35003/1506583 107.63/105.95 c cleaning 9648 clauses out of 19299 with flag 45000/1516580 108.37/106.61 c cleaning 10320 clauses out of 20651 with flag 56000/1527580 109.07/107.34 c cleaning 11163 clauses out of 22331 with flag 68000/1539580 109.88/108.11 c cleaning 12083 clauses out of 24168 with flag 81000/1552580 110.78/109.05 c cleaning 13038 clauses out of 26088 with flag 95003/1566583 111.88/110.12 c cleaning 14020 clauses out of 28048 with flag 110001/1581581 113.09/111.36 c cleaning 15012 clauses out of 30030 with flag 126003/1597583 114.53/112.71 c cleaning 16009 clauses out of 32018 with flag 143003/1614583 115.85/114.01 c cleaning 17004 clauses out of 34007 with flag 161001/1632581 117.37/115.50 c cleaning 18001 clauses out of 36004 with flag 180002/1651582 118.99/117.12 c cleaning 19001 clauses out of 38001 with flag 200000/1671580 120.71/118.84 c cleaning 19993 clauses out of 40000 with flag 221000/1692580 122.61/120.72 c cleaning 21003 clauses out of 42007 with flag 243000/1714580 124.72/122.81 c cleaning 22000 clauses out of 44005 with flag 266001/1737581 127.03/125.15 c cleaning 22992 clauses out of 46004 with flag 290000/1761580 129.15/127.24 c cleaning 24004 clauses out of 48013 with flag 315001/1786581 131.45/129.59 c cleaning 24998 clauses out of 50008 with flag 341000/1812580 134.16/132.22 c cleaning 26000 clauses out of 52010 with flag 368000/1839580 136.96/135.04 c cleaning 27001 clauses out of 54013 with flag 396003/1867583 140.08/138.11 c cleaning 27998 clauses out of 56009 with flag 425000/1896580 142.90/140.99 c cleaning 29004 clauses out of 58012 with flag 455001/1926581 145.82/143.86 c cleaning 30003 clauses out of 60008 with flag 486001/1957581 149.14/147.10 c cleaning 30997 clauses out of 62005 with flag 518001/1989581 152.35/150.32 c cleaning 32005 clauses out of 64009 with flag 551002/2022582 155.68/153.62 c cleaning 32998 clauses out of 66002 with flag 585000/2056580 158.80/156.80 c cleaning 33999 clauses out of 68004 with flag 620000/2091580 162.23/160.17 c cleaning 34998 clauses out of 70005 with flag 656000/2127580 166.37/164.25 c cleaning 36005 clauses out of 72010 with flag 693003/2164583 169.69/167.55 c cleaning 36997 clauses out of 74002 with flag 731000/2202580 172.81/170.69 c cleaning 38003 clauses out of 76006 with flag 770001/2241581 176.13/173.91 c cleaning 38998 clauses out of 78002 with flag 810000/2281580 179.98/177.79 c cleaning 39997 clauses out of 80004 with flag 851000/2322580 184.68/182.41 c cleaning 41002 clauses out of 82008 with flag 893001/2364581 189.11/186.80 c cleaning 41995 clauses out of 84005 with flag 936000/2407580 193.23/191.00 c cleaning 43003 clauses out of 86010 with flag 980000/2451580 198.37/196.05 c cleaning 43999 clauses out of 88010 with flag 1025003/2496583 203.38/201.07 c cleaning 45005 clauses out of 90010 with flag 1071002/2542582 208.49/206.13 c cleaning 45998 clauses out of 92004 with flag 1118001/2589581 214.10/211.76 c cleaning 47004 clauses out of 94008 with flag 1166003/2637583 219.11/216.79 c cleaning 47999 clauses out of 96001 with flag 1215000/2686580 224.54/222.12 c cleaning 49001 clauses out of 98007 with flag 1265005/2736585 230.54/228.10 c cleaning 49995 clauses out of 100002 with flag 1316001/2787581 237.07/234.68 c cleaning 50998 clauses out of 102006 with flag 1368000/2839580 244.91/242.44 c cleaning 52007 clauses out of 104015 with flag 1421007/2892587 251.85/249.36 c cleaning 52996 clauses out of 106004 with flag 1475003/2946583 259.86/257.32 c cleaning 54001 clauses out of 108005 with flag 1530000/3001580 265.18/262.61 c cleaning 54996 clauses out of 110005 with flag 1586001/3057581 270.48/267.98 c cleaning 56000 clauses out of 112008 with flag 1643000/3114580 276.52/273.97 c cleaning 56997 clauses out of 114008 with flag 1701000/3172580 282.62/280.05 c cleaning 57999 clauses out of 116011 with flag 1760000/3231580 289.03/286.42 c cleaning 58998 clauses out of 118012 with flag 1820000/3291580 296.15/293.58 c cleaning 60005 clauses out of 120015 with flag 1881001/3352581 303.87/301.22 c cleaning 60993 clauses out of 122010 with flag 1943001/3414581 310.80/308.18 c cleaning 62002 clauses out of 124016 with flag 2006000/3477580 318.61/315.92 c cleaning 63007 clauses out of 126015 with flag 2070001/3541581 326.62/323.98 c cleaning 63998 clauses out of 128008 with flag 2135001/3606581 333.85/331.17 c cleaning 64996 clauses out of 130009 with flag 2201000/3672580 342.08/339.32 c cleaning 66003 clauses out of 132013 with flag 2268000/3739580 349.69/346.98 c cleaning 67001 clauses out of 134012 with flag 2336002/3807582 357.92/355.13 c cleaning 67997 clauses out of 136009 with flag 2405000/3876580 366.86/364.10 c cleaning 69001 clauses out of 138012 with flag 2475000/3946580 375.48/372.65 c cleaning 70004 clauses out of 140011 with flag 2546000/4017580 386.00/383.15 c cleaning 70995 clauses out of 142009 with flag 2618002/4089582 396.65/393.79 c cleaning 72005 clauses out of 144015 with flag 2691003/4162583 405.78/402.86 c cleaning 73000 clauses out of 146007 with flag 2765000/4236580 417.89/414.95 c cleaning 74001 clauses out of 148008 with flag 2840001/4311581 429.75/426.77 c cleaning 74999 clauses out of 150007 with flag 2916001/4387581 441.30/438.26 c cleaning 75998 clauses out of 152007 with flag 2993000/4464580 454.73/451.68 c cleaning 76996 clauses out of 154010 with flag 3071001/4542581 466.25/463.18 c cleaning 78003 clauses out of 156015 with flag 3150002/4621582 477.37/474.28 c cleaning 79004 clauses out of 158014 with flag 3230004/4701584 489.80/486.63 c cleaning 80001 clauses out of 160007 with flag 3311001/4782581 501.62/498.43 c cleaning 80999 clauses out of 162006 with flag 3393001/4864581 515.54/512.35 c cleaning 82006 clauses out of 164012 with flag 3476006/4947586 528.60/525.39 c cleaning 82992 clauses out of 166003 with flag 3560003/5031583 542.85/539.56 c cleaning 84001 clauses out of 168008 with flag 3645000/5116580 556.95/553.64 c cleaning 84999 clauses out of 170010 with flag 3731003/5202583 569.58/566.20 c cleaning 86003 clauses out of 172008 with flag 3818000/5289580 581.32/577.93 c cleaning 86997 clauses out of 174005 with flag 3906000/5377580 594.85/591.49 c cleaning 87992 clauses out of 176008 with flag 3995000/5466580 609.96/606.53 c cleaning 89006 clauses out of 178016 with flag 4085000/5556580 623.99/620.57 c cleaning 90001 clauses out of 180010 with flag 4176000/5647580 638.35/634.85 c cleaning 91002 clauses out of 182011 with flag 4268002/5739582 653.38/649.88 c cleaning 91997 clauses out of 184008 with flag 4361001/5832581 672.20/668.68 c cleaning 93002 clauses out of 186012 with flag 4455002/5926582 686.45/682.83 c cleaning 94000 clauses out of 188009 with flag 4550001/6021581 702.69/699.06 c cleaning 95000 clauses out of 190010 with flag 4646002/6117582 718.53/714.82 c cleaning 95995 clauses out of 192008 with flag 4743000/6214580 735.66/731.91 c cleaning 97005 clauses out of 194015 with flag 4841002/6312582 755.04/751.28 c cleaning 97996 clauses out of 196010 with flag 4940002/6411582 770.29/766.41 c cleaning 99005 clauses out of 198012 with flag 5040000/6511580 786.06/782.19 c cleaning 100002 clauses out of 200007 with flag 5141000/6612580 802.39/798.41 c cleaning 100998 clauses out of 202005 with flag 5243000/6714580 824.73/820.77 c cleaning 101998 clauses out of 204011 with flag 5346004/6817584 844.05/840.09 c cleaning 102999 clauses out of 206009 with flag 5450000/6921580 866.07/862.02 c cleaning 104000 clauses out of 208010 with flag 5555000/7026580 879.64/875.57 c Got one! Elapsed wall clock time (in seconds):875.443 879.64/875.57 o 12 879.74/875.64 c Got one! Elapsed wall clock time (in seconds):875.519 879.74/875.64 o 10 879.83/875.70 c Got one! Elapsed wall clock time (in seconds):875.574 879.83/875.70 o 6 883.33/879.27 c cleaning 99814 clauses out of 199630 with flag 5004/7122382 884.66/880.54 c cleaning 52902 clauses out of 105813 with flag 11001/7128379 885.40/881.25 c cleaning 29952 clauses out of 59912 with flag 18002/7135380 886.04/881.82 c cleaning 18975 clauses out of 37959 with flag 26001/7143379 886.57/882.30 c cleaning 13988 clauses out of 27984 with flag 35001/7152379 887.10/882.85 c cleaning 11992 clauses out of 23996 with flag 45001/7162379 887.72/883.44 c cleaning 11495 clauses out of 23003 with flag 56000/7173378 888.43/884.17 c cleaning 11746 clauses out of 23508 with flag 68000/7185378 889.25/884.95 c cleaning 12381 clauses out of 24762 with flag 81000/7198378 889.97/885.69 c cleaning 13191 clauses out of 26382 with flag 95001/7212379 890.88/886.60 c cleaning 14091 clauses out of 28191 with flag 110001/7227379 892.00/887.67 c cleaning 15046 clauses out of 30099 with flag 126000/7243378 893.21/888.88 c cleaning 16020 clauses out of 32053 with flag 143000/7260378 894.52/890.13 c cleaning 17016 clauses out of 34033 with flag 161000/7278378 896.03/891.66 c cleaning 18006 clauses out of 36019 with flag 180002/7297380 897.74/893.39 c cleaning 19005 clauses out of 38011 with flag 200000/7317378 899.36/894.94 c cleaning 19999 clauses out of 40006 with flag 221000/7338378 900.90/896.47 c cleaning 21000 clauses out of 42007 with flag 243000/7360378 902.61/898.13 c cleaning 22001 clauses out of 44007 with flag 266000/7383378 904.33/899.81 c cleaning 22999 clauses out of 46007 with flag 290001/7407379 906.05/901.50 c cleaning 24003 clauses out of 48007 with flag 315000/7432378 907.97/903.40 c cleaning 24994 clauses out of 50005 with flag 341001/7458379 910.39/905.82 c cleaning 26007 clauses out of 52014 with flag 368004/7485382 913.00/908.49 c cleaning 26998 clauses out of 54003 with flag 396000/7513378 915.71/911.17 c cleaning 27998 clauses out of 56005 with flag 425000/7542378 919.01/914.41 c cleaning 29002 clauses out of 58007 with flag 455000/7572378 921.93/917.31 c cleaning 29999 clauses out of 60006 with flag 486001/7603379 924.63/920.06 c cleaning 30996 clauses out of 62008 with flag 518002/7635380 927.63/923.02 c cleaning 32002 clauses out of 64010 with flag 551000/7668378 930.87/926.21 c cleaning 32995 clauses out of 66008 with flag 585000/7702378 933.97/929.32 c cleaning 34005 clauses out of 68015 with flag 620002/7737380 937.69/933.02 c cleaning 35003 clauses out of 70008 with flag 656000/7773378 941.71/937.08 c cleaning 36003 clauses out of 72005 with flag 693000/7810378 946.22/941.52 c cleaning 36994 clauses out of 74002 with flag 731000/7848378 950.42/945.75 c cleaning 38003 clauses out of 76009 with flag 770001/7887379 955.05/950.34 c cleaning 39002 clauses out of 78007 with flag 810002/7927380 959.97/955.21 c cleaning 39999 clauses out of 80004 with flag 851001/7968379 965.59/960.89 c cleaning 40997 clauses out of 82006 with flag 893002/8010380 970.50/965.80 c cleaning 41998 clauses out of 84009 with flag 936002/8053380 975.13/970.37 c cleaning 43000 clauses out of 86010 with flag 980001/8097379 980.14/975.37 c cleaning 43999 clauses out of 88009 with flag 1025000/8142378 985.75/980.95 c cleaning 44998 clauses out of 90011 with flag 1071001/8188379 991.25/986.49 c cleaning 45999 clauses out of 92013 with flag 1118001/8235379 995.77/990.99 c cleaning 47007 clauses out of 94015 with flag 1166002/8283380 1001.40/996.52 c cleaning 47998 clauses out of 96006 with flag 1215000/8332378 1006.83/1001.94 c cleaning 48998 clauses out of 98010 with flag 1265002/8382380 1012.65/1007.76 c cleaning 50002 clauses out of 100010 with flag 1316000/8433378 1019.55/1014.65 c cleaning 50997 clauses out of 102008 with flag 1368000/8485378 1025.37/1020.40 c cleaning 52003 clauses out of 104011 with flag 1421000/8538378 1032.30/1027.39 c cleaning 52998 clauses out of 106008 with flag 1475000/8592378 1040.31/1035.30 c cleaning 54003 clauses out of 108011 with flag 1530001/8647379 1047.04/1042.01 c cleaning 55002 clauses out of 110007 with flag 1586000/8703378 1053.55/1048.60 c cleaning 55999 clauses out of 112005 with flag 1643000/8760378 1061.36/1056.32 c cleaning 57001 clauses out of 114006 with flag 1701000/8818378 1068.70/1063.69 c cleaning 57999 clauses out of 116005 with flag 1760000/8877378 1078.11/1073.03 c cleaning 58997 clauses out of 118007 with flag 1820001/8937379 1086.94/1081.86 c cleaning 60001 clauses out of 120014 with flag 1881005/8998383 1096.17/1091.06 c cleaning 61000 clauses out of 122009 with flag 1943001/9060379 1105.50/1100.38 c cleaning 61999 clauses out of 124012 with flag 2006004/9123382 1116.11/1110.98 c cleaning 63005 clauses out of 126010 with flag 2070001/9187379 1126.04/1120.90 c cleaning 63999 clauses out of 128004 with flag 2135000/9252378 1137.46/1132.26 c cleaning 65003 clauses out of 130005 with flag 2201000/9318378 1148.67/1143.43 c cleaning 65997 clauses out of 132004 with flag 2268002/9385380 1157.88/1152.63 c cleaning 67003 clauses out of 134005 with flag 2336000/9453378 1167.61/1162.38 c cleaning 68001 clauses out of 136005 with flag 2405003/9522381 1178.96/1173.70 c cleaning 69001 clauses out of 138001 with flag 2475000/9592378 1191.09/1185.71 c cleaning 69997 clauses out of 140002 with flag 2546002/9663380 1201.52/1196.16 c cleaning 70997 clauses out of 142004 with flag 2618001/9735379 1213.56/1208.19 c cleaning 72000 clauses out of 144007 with flag 2691001/9808379 1224.90/1219.49 c cleaning 72997 clauses out of 146007 with flag 2765001/9882379 1236.91/1231.45 c cleaning 74004 clauses out of 148009 with flag 2840000/9957378 1249.24/1243.70 c cleaning 74997 clauses out of 150006 with flag 2916001/10033379 1263.68/1258.18 c cleaning 76004 clauses out of 152010 with flag 2993002/10110380 1277.81/1272.28 c cleaning 77002 clauses out of 154007 with flag 3071003/10188381 1293.12/1287.50 c cleaning 77994 clauses out of 156003 with flag 3150001/10267379 1306.75/1301.20 c cleaning 78994 clauses out of 158008 with flag 3230000/10347378 1317.75/1312.19 c cleaning 79998 clauses out of 160014 with flag 3311000/10428378 1327.66/1322.00 c cleaning 81002 clauses out of 162016 with flag 3393000/10510378 1340.67/1335.06 c cleaning 82007 clauses out of 164015 with flag 3476001/10593379 1354.78/1349.11 c cleaning 82996 clauses out of 166008 with flag 3560001/10677379 1369.24/1363.57 c cleaning 83999 clauses out of 168011 with flag 3645000/10762378 1384.25/1378.52 c cleaning 85000 clauses out of 170013 with flag 3731001/10848379 1398.27/1392.50 c cleaning 86002 clauses out of 172013 with flag 3818001/10935379 1413.41/1407.68 c cleaning 86999 clauses out of 174011 with flag 3906001/11023379 1429.22/1423.49 c cleaning 88002 clauses out of 176012 with flag 3995001/11112379 1444.39/1438.56 c cleaning 89005 clauses out of 178010 with flag 4085001/11202379 1460.50/1454.65 c cleaning 89997 clauses out of 180005 with flag 4176001/11293379 1478.13/1472.22 c cleaning 90993 clauses out of 182007 with flag 4268000/11385378 1494.24/1488.33 c cleaning 92002 clauses out of 184016 with flag 4361002/11478380 1510.84/1504.91 c cleaning 93005 clauses out of 186013 with flag 4455001/11572379 1529.28/1523.30 c cleaning 93994 clauses out of 188007 with flag 4550000/11667378 1546.29/1540.35 c cleaning 95001 clauses out of 190014 with flag 4646001/11763379 1563.62/1557.64 c cleaning 95999 clauses out of 192012 with flag 4743000/11860378 1580.75/1574.78 c cleaning 97001 clauses out of 194014 with flag 4841001/11958379 1597.01/1590.93 c cleaning 98001 clauses out of 196012 with flag 4940000/12057378 1617.34/1611.26 c cleaning 99007 clauses out of 198015 with flag 5040004/12157382 1638.05/1631.93 c cleaning 99990 clauses out of 200004 with flag 5141000/12258378 1660.12/1653.95 c cleaning 101002 clauses out of 202016 with flag 5243002/12360380 1686.65/1680.40 c cleaning 102003 clauses out of 204016 with flag 5346004/12463382 1706.30/1700.04 c cleaning 103003 clauses out of 206009 with flag 5450000/12567378 1726.12/1719.89 c cleaning 103997 clauses out of 208007 with flag 5555001/12672379 1749.15/1742.83 c cleaning 105003 clauses out of 210012 with flag 5661003/12778381 1770.98/1764.68 c cleaning 105999 clauses out of 212008 with flag 5768002/12885380 1790.60/1784.23 c cleaning 107001 clauses out of 214007 with flag 5876000/12993378 1800.05/1793.61 c starts : 549 1800.05/1793.61 c conflicts : 13071643 1800.05/1793.61 c decisions : 13293147 1800.05/1793.61 c propagations : 97623970 1800.05/1793.61 c inspects : 22598056723 1800.05/1793.61 c shortcuts : 0 1800.05/1793.61 c learnt literals : 0 1800.05/1793.61 c learnt binary clauses : 0 1800.05/1793.61 c learnt ternary clauses : 0 1800.05/1793.61 c learnt constraints : 13071643 1800.05/1793.61 c ignored constraints : 0 1800.05/1793.61 c root simplifications : 549 1800.05/1793.61 c removed literals (reason simplification) : 98694030 1800.05/1793.61 c reason swapping (by a shorter reason) : 0 1800.05/1793.61 c Calls to reduceDB : 314 1800.05/1793.61 c number of reductions to clauses (during analyze) : 0 1800.05/1793.61 c number of learned constraints concerned by reduction : 0 1800.05/1793.61 c number of learning phase by resolution : 0 1800.05/1793.61 c number of learning phase by cutting planes : 0 1800.05/1793.61 c speed (assignments/second) : 54433.86515984347 1800.05/1793.61 c non guided choices 200 1800.05/1793.64 c learnt constraints type 1800.05/1793.64 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 185398 1800.05/1793.64 c constraints type 1800.05/1793.64 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 13 1800.05/1793.64 c 13 constraints processed. 1800.05/1793.64 s SATISFIABLE 1800.05/1793.64 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.05/1793.64 c objective function=6 1800.05/1793.64 c Total wall clock time (in seconds): 1793.518
OK 6
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-3710834-1338154095/watcher-3710834-1338154095 -o /tmp/evaluation-result-3710834-1338154095/solver-3710834-1338154095 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710834-1338154095.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.03 2.00 3/194 25039 /proc/meminfo: memFree=30568952/32873844 swapFree=7116/7116 [pid=25039] ppid=25037 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/25039/stat : 25039 (java) R 25037 25039 19004 0 -1 4202496 921 0 0 0 0 0 0 0 20 0 1 0 281534405 23793664 648 33554432000 1073741824 1073778376 140734259892464 140734259881528 240555964993 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/25039/statm: 5809 662 489 9 0 128 0 [startup+0.0533469 s] /proc/loadavg: 2.03 2.03 2.00 3/194 25039 /proc/meminfo: memFree=30568952/32873844 swapFree=7116/7116 [pid=25039] ppid=25037 vsize=9225560 CPUtime=0.04 cores=0,2,4,6 /proc/25039/stat : 25039 (java) S 25037 25039 19004 0 -1 4202496 3081 0 1 0 3 1 0 0 20 0 13 0 281534405 9446973440 4289 33554432000 1073741824 1073778376 140734259892464 140734259883600 240568533053 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25039/statm: 2306390 4289 1708 9 0 2297091 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9225560 [startup+0.100251 s] /proc/loadavg: 2.03 2.03 2.00 3/194 25039 /proc/meminfo: memFree=30568952/32873844 swapFree=7116/7116 [pid=25039] ppid=25037 vsize=9558440 CPUtime=0.1 cores=0,2,4,6 /proc/25039/stat : 25039 (java) S 25037 25039 19004 0 -1 4202496 4233 0 1 0 9 1 0 0 20 0 18 0 281534405 9787842560 5440 33554432000 1073741824 1073778376 140734259892464 140734259883600 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25039/statm: 2389610 5441 2115 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558440 [startup+0.30021 s] /proc/loadavg: 2.03 2.03 2.00 3/194 25039 /proc/meminfo: memFree=30568952/32873844 swapFree=7116/7116 [pid=25039] ppid=25037 vsize=9625004 CPUtime=0.54 cores=0,2,4,6 /proc/25039/stat : 25039 (java) S 25037 25039 19004 0 -1 4202496 6734 0 1 0 53 1 0 0 20 0 19 0 281534405 9856004096 8736 33554432000 1073741824 1073778376 140734259892464 140734259883600 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25039/statm: 2406251 8736 2227 9 0 2396937 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9625004 [startup+0.700211 s] /proc/loadavg: 2.03 2.03 2.00 3/194 25039 /proc/meminfo: memFree=30568952/32873844 swapFree=7116/7116 [pid=25039] ppid=25037 vsize=9625004 CPUtime=1.31 cores=0,2,4,6 /proc/25039/stat : 25039 (java) S 25037 25039 19004 0 -1 4202496 11341 0 1 0 129 2 0 0 20 0 19 0 281534405 9856004096 11541 33554432000 1073741824 1073778376 140734259892464 140734259883600 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25039/statm: 2406251 11541 2240 9 0 2396937 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 9625004 [startup+1.50061 s] /proc/loadavg: 2.03 2.03 2.00 3/213 25058 /proc/meminfo: memFree=30527240/32873844 swapFree=7116/7116 [pid=25039] ppid=25037 vsize=9625004 CPUtime=2.2 cores=0,2,4,6 /proc/25039/stat : 25039 (java) S 25037 25039 19004 0 -1 4202496 11567 0 1 0 217 3 0 0 20 0 19 0 281534405 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140734259883600 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25039/statm: 2406251 15176 2273 9 0 2396937 0 [pid=25039/tid=25041] ppid=25037 vsize=9625004 CPUtime=1.46 cores=0,2,4,6 /proc/25039/task/25041/stat : 25041 (java) R 25037 25039 19004 0 -1 4202560 2505 0 1 0 145 1 0 0 20 0 19 0 281534406 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140271389962664 140271233237773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25042] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25042/stat : 25042 (java) S 25037 25039 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140271351453864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25043] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25043/stat : 25043 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140271232739624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25044] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25044/stat : 25044 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140271231687080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25039/tid=25045] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25045/stat : 25045 (java) S 25037 25039 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140271230634536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25046] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25046/stat : 25046 (java) S 25037 25039 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140271229581992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25039/tid=25047] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25047/stat : 25047 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140271228529448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25048] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25048/stat : 25048 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140271227476904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25049] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25049/stat : 25049 (java) S 25037 25039 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140271226424360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25050] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25050/stat : 25050 (java) S 25037 25039 19004 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140270744094824 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25051] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25051/stat : 25051 (java) S 25037 25039 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140270743041144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25052] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25052/stat : 25052 (java) S 25037 25039 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140270741988488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25053] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25053/stat : 25053 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140270740937232 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25054] ppid=25037 vsize=9625004 CPUtime=0.33 cores=0,2,4,6 /proc/25039/task/25054/stat : 25054 (java) S 25037 25039 19004 0 -1 4202560 4167 0 0 0 33 0 0 0 20 0 19 0 281534411 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140270739884600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25055] ppid=25037 vsize=9625004 CPUtime=0.35 cores=0,2,4,6 /proc/25039/task/25055/stat : 25055 (java) S 25037 25039 19004 0 -1 4202560 3652 0 0 0 35 0 0 0 20 0 19 0 281534411 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140270738832056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25056] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25056/stat : 25056 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140270737779704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25057] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25057/stat : 25057 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140270736727368 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25058] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25058/stat : 25058 (java) S 25037 25039 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534422 9856004096 15176 33554432000 1073741824 1073778376 140734259892464 140270735672104 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.2 Current children cumulated vsize (KiB) 9625004 [startup+3.10063 s] /proc/loadavg: 2.03 2.03 2.00 3/213 25058 /proc/meminfo: memFree=30512284/32873844 swapFree=7116/7116 [pid=25039] ppid=25037 vsize=9625004 CPUtime=3.83 cores=0,2,4,6 /proc/25039/stat : 25039 (java) S 25037 25039 19004 0 -1 4202496 11600 0 1 0 380 3 0 0 20 0 19 0 281534405 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140734259883600 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25039/statm: 2406251 15713 2274 9 0 2396937 0 [pid=25039/tid=25041] ppid=25037 vsize=9625004 CPUtime=3.01 cores=0,2,4,6 /proc/25039/task/25041/stat : 25041 (java) R 25037 25039 19004 0 -1 4202560 2507 0 1 0 299 2 0 0 20 0 19 0 281534406 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140271389954496 140271233186536 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=25039/tid=25042] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25042/stat : 25042 (java) S 25037 25039 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140271351453864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25039/tid=25043] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25043/stat : 25043 (java) S 25037 25039 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140271232739624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25044] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25044/stat : 25044 (java) S 25037 25039 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140271231687080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25039/tid=25045] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25045/stat : 25045 (java) S 25037 25039 19004 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140271230634536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25046] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25046/stat : 25046 (java) S 25037 25039 19004 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140271229581992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25039/tid=25047] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25047/stat : 25047 (java) S 25037 25039 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140271228529448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25048] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25048/stat : 25048 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140271227476904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25049] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25049/stat : 25049 (java) S 25037 25039 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140271226424360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25050] ppid=25037 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/25039/task/25050/stat : 25050 (java) S 25037 25039 19004 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 19 0 281534408 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140270744094824 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25051] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25051/stat : 25051 (java) S 25037 25039 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140270743041144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25052] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25052/stat : 25052 (java) S 25037 25039 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140270741988488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25053] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25053/stat : 25053 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140270740937232 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25054] ppid=25037 vsize=9625004 CPUtime=0.35 cores=0,2,4,6 /proc/25039/task/25054/stat : 25054 (java) S 25037 25039 19004 0 -1 4202560 4174 0 0 0 35 0 0 0 20 0 19 0 281534411 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140270739884600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25055] ppid=25037 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/25039/task/25055/stat : 25055 (java) S 25037 25039 19004 0 -1 4202560 3652 0 0 0 36 0 0 0 20 0 19 0 281534411 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140270738832056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25056] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25056/stat : 25056 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140270737779704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25057] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25057/stat : 25057 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140270736727368 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25058] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25058/stat : 25058 (java) S 25037 25039 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534422 9856004096 15713 33554432000 1073741824 1073778376 140734259892464 140270735672104 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.83 Current children cumulated vsize (KiB) 9625004 [startup+6.30063 s] /proc/loadavg: 2.03 2.03 2.00 3/213 25058 /proc/meminfo: memFree=30511912/32873844 swapFree=7116/7116 [pid=25039] ppid=25037 vsize=9625004 CPUtime=7.05 cores=0,2,4,6 /proc/25039/stat : 25039 (java) S 25037 25039 19004 0 -1 4202496 11616 0 1 0 701 4 0 0 20 0 19 0 281534405 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140734259883600 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25039/statm: 2406251 15690 2274 9 0 2396937 0 [pid=25039/tid=25041] ppid=25037 vsize=9625004 CPUtime=6.12 cores=0,2,4,6 /proc/25039/task/25041/stat : 25041 (java) R 25037 25039 19004 0 -1 4202560 2515 0 1 0 610 2 0 0 20 0 19 0 281534406 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140271389962544 140271233168838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25042] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25042/stat : 25042 (java) S 25037 25039 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140271351453864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25039/tid=25043] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25043/stat : 25043 (java) S 25037 25039 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140271232739624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25044] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25044/stat : 25044 (java) S 25037 25039 19004 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140271231687080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25045] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25045/stat : 25045 (java) S 25037 25039 19004 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140271230634536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25046] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25046/stat : 25046 (java) S 25037 25039 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140271229581992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25039/tid=25047] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25047/stat : 25047 (java) S 25037 25039 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140271228529448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25048] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25048/stat : 25048 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140271227476904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25049] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25049/stat : 25049 (java) S 25037 25039 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281534406 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140271226424360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25050] ppid=25037 vsize=9625004 CPUtime=0.1 cores=0,2,4,6 /proc/25039/task/25050/stat : 25050 (java) S 25037 25039 19004 0 -1 4202560 34 0 0 0 10 0 0 0 20 0 19 0 281534408 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140270744094824 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25051] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25051/stat : 25051 (java) S 25037 25039 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140270743041144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25052] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25052/stat : 25052 (java) S 25037 25039 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140270741988488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25053] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25053/stat : 25053 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140270740937232 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25054] ppid=25037 vsize=9625004 CPUtime=0.35 cores=0,2,4,6 /proc/25039/task/25054/stat : 25054 (java) S 25037 25039 19004 0 -1 4202560 4174 0 0 0 35 0 0 0 20 0 19 0 281534411 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140270739884600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25055] ppid=25037 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/25039/task/25055/stat : 25055 (java) S 25037 25039 19004 0 -1 4202560 3652 0 0 0 36 0 0 0 20 0 19 0 281534411 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140270738832056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25056] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25056/stat : 25056 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140270737779704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25057] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25057/stat : 25057 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140270736727368 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25058] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25058/stat : 25058 (java) S 25037 25039 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534422 9856004096 15690 33554432000 1073741824 1073778376 140734259892464 140270735672104 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.05 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ [pid=25039/tid=25054] ppid=25037 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/25039/task/25054/stat : 25054 (java) S 25037 25039 19004 0 -1 4202560 4174 0 0 0 36 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270739884600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25055] ppid=25037 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/25039/task/25055/stat : 25055 (java) S 25037 25039 19004 0 -1 4202560 3652 0 0 0 36 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270738832056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25056] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25056/stat : 25056 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270737779704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25057] ppid=25037 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/25039/task/25057/stat : 25057 (java) S 25037 25039 19004 0 -1 4202560 95 0 0 0 25 24 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270736727368 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25058] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25058/stat : 25058 (java) S 25037 25039 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534422 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270735672104 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1668.55 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 25142 /proc/meminfo: memFree=30664792/32873844 swapFree=7116/7116 [pid=25039] ppid=25037 vsize=9625004 CPUtime=1728.64 cores=0,2,4,6 /proc/25039/stat : 25039 (java) S 25037 25039 19004 0 -1 4202496 14082 0 1 0 172824 40 0 0 20 0 19 0 281534405 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140734259883600 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25039/statm: 2406251 37211 2274 9 0 2396937 0 [pid=25039/tid=25041] ppid=25037 vsize=9625004 CPUtime=1707.48 cores=0,2,4,6 /proc/25039/task/25041/stat : 25041 (java) R 25037 25039 19004 0 -1 4202560 2817 0 1 0 170719 29 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271389962544 140271233186704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25042] ppid=25037 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/25039/task/25042/stat : 25042 (java) S 25037 25039 19004 0 -1 4202560 271 0 0 0 100 1 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271351453864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25043] ppid=25037 vsize=9625004 CPUtime=0.99 cores=0,2,4,6 /proc/25039/task/25043/stat : 25043 (java) S 25037 25039 19004 0 -1 4202560 265 0 0 0 97 2 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271232739624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25044] ppid=25037 vsize=9625004 CPUtime=0.89 cores=0,2,4,6 /proc/25039/task/25044/stat : 25044 (java) S 25037 25039 19004 0 -1 4202560 265 0 0 0 87 2 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271231687080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25045] ppid=25037 vsize=9625004 CPUtime=0.94 cores=0,2,4,6 /proc/25039/task/25045/stat : 25045 (java) S 25037 25039 19004 0 -1 4202560 274 0 0 0 94 0 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271230634536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25046] ppid=25037 vsize=9625004 CPUtime=1.05 cores=0,2,4,6 /proc/25039/task/25046/stat : 25046 (java) S 25037 25039 19004 0 -1 4202560 226 0 0 0 103 2 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271229581992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25047] ppid=25037 vsize=9625004 CPUtime=0.95 cores=0,2,4,6 /proc/25039/task/25047/stat : 25047 (java) S 25037 25039 19004 0 -1 4202560 171 0 0 0 95 0 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271228529448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25048] ppid=25037 vsize=9625004 CPUtime=1.03 cores=0,2,4,6 /proc/25039/task/25048/stat : 25048 (java) S 25037 25039 19004 0 -1 4202560 265 0 0 0 101 2 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271227476904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25049] ppid=25037 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/25039/task/25049/stat : 25049 (java) S 25037 25039 19004 0 -1 4202560 269 0 0 0 99 3 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271226424360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25050] ppid=25037 vsize=9625004 CPUtime=7.82 cores=0,2,4,6 /proc/25039/task/25050/stat : 25050 (java) S 25037 25039 19004 0 -1 4202560 153 0 0 0 779 3 0 0 20 0 19 0 281534408 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270744094824 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25051] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25051/stat : 25051 (java) S 25037 25039 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270743041144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25052] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25052/stat : 25052 (java) S 25037 25039 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270741988488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25053] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25053/stat : 25053 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270740937232 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25054] ppid=25037 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/25039/task/25054/stat : 25054 (java) S 25037 25039 19004 0 -1 4202560 4174 0 0 0 36 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270739884600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25055] ppid=25037 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/25039/task/25055/stat : 25055 (java) S 25037 25039 19004 0 -1 4202560 3652 0 0 0 36 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270738832056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25056] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25056/stat : 25056 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270737779704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25057] ppid=25037 vsize=9625004 CPUtime=0.5 cores=0,2,4,6 /proc/25039/task/25057/stat : 25057 (java) S 25037 25039 19004 0 -1 4202560 99 0 0 0 26 24 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270736727368 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25058] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25058/stat : 25058 (java) S 25037 25039 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534422 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270735672104 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1728.64 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 25143 /proc/meminfo: memFree=30664792/32873844 swapFree=7116/7116 [pid=25039] ppid=25037 vsize=9625004 CPUtime=1788.69 cores=0,2,4,6 /proc/25039/stat : 25039 (java) S 25037 25039 19004 0 -1 4202496 14090 0 1 0 178829 40 0 0 20 0 19 0 281534405 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140734259883600 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25039/statm: 2406251 37211 2274 9 0 2396937 0 [pid=25039/tid=25041] ppid=25037 vsize=9625004 CPUtime=1767.19 cores=0,2,4,6 /proc/25039/task/25041/stat : 25041 (java) R 25037 25039 19004 0 -1 4202560 2819 0 1 0 176689 30 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271389962544 140271233495059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25042] ppid=25037 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/25039/task/25042/stat : 25042 (java) S 25037 25039 19004 0 -1 4202560 271 0 0 0 101 1 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271351453864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25043] ppid=25037 vsize=9625004 CPUtime=1 cores=0,2,4,6 /proc/25039/task/25043/stat : 25043 (java) S 25037 25039 19004 0 -1 4202560 265 0 0 0 98 2 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271232739624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25044] ppid=25037 vsize=9625004 CPUtime=0.9 cores=0,2,4,6 /proc/25039/task/25044/stat : 25044 (java) S 25037 25039 19004 0 -1 4202560 265 0 0 0 88 2 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271231687080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25045] ppid=25037 vsize=9625004 CPUtime=0.96 cores=0,2,4,6 /proc/25039/task/25045/stat : 25045 (java) S 25037 25039 19004 0 -1 4202560 274 0 0 0 96 0 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271230634536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25039/tid=25046] ppid=25037 vsize=9625004 CPUtime=1.06 cores=0,2,4,6 /proc/25039/task/25046/stat : 25046 (java) S 25037 25039 19004 0 -1 4202560 226 0 0 0 104 2 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271229581992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25039/tid=25047] ppid=25037 vsize=9625004 CPUtime=0.95 cores=0,2,4,6 /proc/25039/task/25047/stat : 25047 (java) S 25037 25039 19004 0 -1 4202560 171 0 0 0 95 0 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271228529448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25048] ppid=25037 vsize=9625004 CPUtime=1.04 cores=0,2,4,6 /proc/25039/task/25048/stat : 25048 (java) S 25037 25039 19004 0 -1 4202560 265 0 0 0 102 2 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271227476904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25049] ppid=25037 vsize=9625004 CPUtime=1.03 cores=0,2,4,6 /proc/25039/task/25049/stat : 25049 (java) S 25037 25039 19004 0 -1 4202560 269 0 0 0 100 3 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271226424360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25050] ppid=25037 vsize=9625004 CPUtime=7.93 cores=0,2,4,6 /proc/25039/task/25050/stat : 25050 (java) S 25037 25039 19004 0 -1 4202560 155 0 0 0 790 3 0 0 20 0 19 0 281534408 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270744094824 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25051] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25051/stat : 25051 (java) S 25037 25039 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270743041144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25052] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25052/stat : 25052 (java) S 25037 25039 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270741988488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25053] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25053/stat : 25053 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270740937232 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25054] ppid=25037 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/25039/task/25054/stat : 25054 (java) S 25037 25039 19004 0 -1 4202560 4174 0 0 0 36 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270739884600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25055] ppid=25037 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/25039/task/25055/stat : 25055 (java) S 25037 25039 19004 0 -1 4202560 3652 0 0 0 36 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270738832056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25056] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25056/stat : 25056 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270737779704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25057] ppid=25037 vsize=9625004 CPUtime=0.52 cores=0,2,4,6 /proc/25039/task/25057/stat : 25057 (java) S 25037 25039 19004 0 -1 4202560 103 0 0 0 28 24 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270736727368 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25058] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25058/stat : 25058 (java) S 25037 25039 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534422 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270735672104 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1788.69 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.6 s] /proc/loadavg: 2.00 2.00 2.00 3/213 25143 /proc/meminfo: memFree=30664792/32873844 swapFree=7116/7116 [pid=25039] ppid=25037 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6 /proc/25039/stat : 25039 (java) S 25037 25039 19004 0 -1 4202496 14093 0 1 0 179965 40 0 0 20 0 19 0 281534405 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140734259883600 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25039/statm: 2406251 37211 2274 9 0 2396937 0 [pid=25039/tid=25041] ppid=25037 vsize=9625004 CPUtime=1778.41 cores=0,2,4,6 /proc/25039/task/25041/stat : 25041 (java) R 25037 25039 19004 0 -1 4202560 2820 0 1 0 177810 31 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271389962544 140271233450748 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25042] ppid=25037 vsize=9625004 CPUtime=1.03 cores=0,2,4,6 /proc/25039/task/25042/stat : 25042 (java) S 25037 25039 19004 0 -1 4202560 271 0 0 0 102 1 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271351453864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25043] ppid=25037 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/25039/task/25043/stat : 25043 (java) S 25037 25039 19004 0 -1 4202560 265 0 0 0 99 2 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271232739624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25044] ppid=25037 vsize=9625004 CPUtime=0.91 cores=0,2,4,6 /proc/25039/task/25044/stat : 25044 (java) S 25037 25039 19004 0 -1 4202560 265 0 0 0 89 2 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271231687080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25045] ppid=25037 vsize=9625004 CPUtime=0.97 cores=0,2,4,6 /proc/25039/task/25045/stat : 25045 (java) S 25037 25039 19004 0 -1 4202560 274 0 0 0 97 0 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271230634536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25039/tid=25046] ppid=25037 vsize=9625004 CPUtime=1.06 cores=0,2,4,6 /proc/25039/task/25046/stat : 25046 (java) S 25037 25039 19004 0 -1 4202560 226 0 0 0 104 2 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271229581992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25047] ppid=25037 vsize=9625004 CPUtime=0.96 cores=0,2,4,6 /proc/25039/task/25047/stat : 25047 (java) S 25037 25039 19004 0 -1 4202560 171 0 0 0 96 0 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271228529448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25048] ppid=25037 vsize=9625004 CPUtime=1.04 cores=0,2,4,6 /proc/25039/task/25048/stat : 25048 (java) S 25037 25039 19004 0 -1 4202560 265 0 0 0 102 2 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271227476904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25049] ppid=25037 vsize=9625004 CPUtime=1.03 cores=0,2,4,6 /proc/25039/task/25049/stat : 25049 (java) S 25037 25039 19004 0 -1 4202560 269 0 0 0 100 3 0 0 20 0 19 0 281534406 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140271226424360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25050] ppid=25037 vsize=9625004 CPUtime=7.98 cores=0,2,4,6 /proc/25039/task/25050/stat : 25050 (java) S 25037 25039 19004 0 -1 4202560 157 0 0 0 795 3 0 0 20 0 19 0 281534408 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270744094824 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25051] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25051/stat : 25051 (java) S 25037 25039 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270743041144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25052] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25052/stat : 25052 (java) S 25037 25039 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534408 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270741988488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25053] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25053/stat : 25053 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270740937232 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25054] ppid=25037 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/25039/task/25054/stat : 25054 (java) S 25037 25039 19004 0 -1 4202560 4174 0 0 0 36 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270739884600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25039/tid=25055] ppid=25037 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/25039/task/25055/stat : 25055 (java) S 25037 25039 19004 0 -1 4202560 3652 0 0 0 36 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270738832056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25056] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25056/stat : 25056 (java) S 25037 25039 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270737779704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25039/tid=25057] ppid=25037 vsize=9625004 CPUtime=0.52 cores=0,2,4,6 /proc/25039/task/25057/stat : 25057 (java) S 25037 25039 19004 0 -1 4202560 103 0 0 0 28 24 0 0 20 0 19 0 281534411 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270736727368 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25039/tid=25058] ppid=25037 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/25039/task/25058/stat : 25058 (java) S 25037 25039 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534422 9856004096 37211 33554432000 1073741824 1073778376 140734259892464 140270735672104 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25039 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=138097 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=841872 # CPU time returned by wait4() is 1795.98 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1793.65 CPU time (s): 1800.05 CPU user time (s): 1799.65 CPU system time (s): 0.4 CPU usage (%): 100.357 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.14 system time used= 0.841872 maximum resident set size= 151148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14160 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= 46634 involuntary context switches= 23061 runsolver used 5.67914 second user time and 14.1958 second system time The end
Begin job on node146 at 2012-05-27 23:28:15 IDJOB=3710834 IDBENCH=2910 IDSOLVER=2289 FILE ID=node146/3710834-1338154095 RUNJOBID= node146-1338124629-19020 PBS_JOBID= 14624512 Free space on /tmp= 71184 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_3.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-3710834-1338154095/watcher-3710834-1338154095 -o /tmp/evaluation-result-3710834-1338154095/solver-3710834-1338154095 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710834-1338154095.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED=387472980 node146.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.034 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.06 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.034 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.92 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.034 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.034 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 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.034 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.034 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.034 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30569216 kB Buffers: 324576 kB Cached: 759988 kB SwapCached: 2184 kB Active: 1276944 kB Inactive: 187580 kB Active(anon): 379584 kB Inactive(anon): 2668 kB Active(file): 897360 kB Inactive(file): 184912 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100340 kB Dirty: 848 kB Writeback: 0 kB AnonPages: 422628 kB Mapped: 17620 kB Shmem: 0 kB Slab: 691588 kB SReclaimable: 132868 kB SUnreclaim: 558720 kB KernelStack: 1760 kB PageTables: 4972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 697952 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 393216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71184 MiB End job on node146 at 2012-05-27 23:58:10