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) | 21 | 1800.5 | 1793.75 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_3.opb |
| MD5SUM | 474916db0f2f0be5831d97827cee8e55 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 1790.84 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 16 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 75 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1901 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6214 |
| 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.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.03/0.08 c version 2.3.2.v20120418 0.03/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.08 c java.vm.version 19.1-b02 0.03/0.08 c java.vm.vendor Sun Microsystems Inc. 0.03/0.08 c sun.arch.data.model 64 0.03/0.08 c java.version 1.6.0_24 0.03/0.08 c os.name Linux 0.03/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.08 c os.arch amd64 0.03/0.08 c Free memory 501472288 0.03/0.08 c Max memory 7480803328 0.03/0.08 c Total memory 504102912 0.03/0.08 c Number of processors 8 0.09/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710836-1338155111.opb 0.09/0.12 c reading problem ... 0.09/0.17 c ... done. Wall clock time 0.048s. 0.09/0.17 c declared #vars 172 0.09/0.17 c #constraints 14 0.09/0.17 c constraints type 0.09/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14 0.09/0.17 c 14 constraints processed. 0.09/0.17 c SATISFIABLE 0.09/0.17 c OPTIMIZING... 0.09/0.17 c Got one! Elapsed wall clock time (in seconds):0.056 0.09/0.18 o 907 0.26/0.24 c Got one! Elapsed wall clock time (in seconds):0.126 0.26/0.25 o 905 0.26/0.25 c Got one! Elapsed wall clock time (in seconds):0.134 0.26/0.25 o 903 0.26/0.26 c Got one! Elapsed wall clock time (in seconds):0.145 0.26/0.26 o 889 0.26/0.27 c Got one! Elapsed wall clock time (in seconds):0.151 0.26/0.27 o 887 0.26/0.28 c Got one! Elapsed wall clock time (in seconds):0.157 0.26/0.28 o 883 0.26/0.28 c Got one! Elapsed wall clock time (in seconds):0.163 0.26/0.28 o 881 0.26/0.29 c Got one! Elapsed wall clock time (in seconds):0.166 0.26/0.29 o 875 0.55/0.30 c Got one! Elapsed wall clock time (in seconds):0.179 0.55/0.30 o 874 0.55/0.30 c Got one! Elapsed wall clock time (in seconds):0.181 0.55/0.30 o 870 0.55/0.31 c Got one! Elapsed wall clock time (in seconds):0.191 0.55/0.31 o 869 0.55/0.31 c Got one! Elapsed wall clock time (in seconds):0.194 0.55/0.31 o 823 0.55/0.32 c Got one! Elapsed wall clock time (in seconds):0.197 0.55/0.32 o 821 0.55/0.33 c Got one! Elapsed wall clock time (in seconds):0.206 0.55/0.33 o 819 0.55/0.33 c Got one! Elapsed wall clock time (in seconds):0.211 0.55/0.33 o 815 0.55/0.33 c Got one! Elapsed wall clock time (in seconds):0.213 0.55/0.33 o 811 0.55/0.33 c Got one! Elapsed wall clock time (in seconds):0.216 0.55/0.33 o 807 0.55/0.34 c Got one! Elapsed wall clock time (in seconds):0.221 0.55/0.34 o 805 0.55/0.34 c Got one! Elapsed wall clock time (in seconds):0.224 0.55/0.34 o 803 0.55/0.35 c Got one! Elapsed wall clock time (in seconds):0.231 0.55/0.35 o 751 0.55/0.36 c Got one! Elapsed wall clock time (in seconds):0.236 0.55/0.36 o 743 0.55/0.36 c Got one! Elapsed wall clock time (in seconds):0.24 0.55/0.36 o 741 0.55/0.36 c Got one! Elapsed wall clock time (in seconds):0.244 0.55/0.36 o 739 0.55/0.37 c Got one! Elapsed wall clock time (in seconds):0.253 0.55/0.37 o 735 0.55/0.37 c Got one! Elapsed wall clock time (in seconds):0.256 0.55/0.37 o 733 0.55/0.38 c Got one! Elapsed wall clock time (in seconds):0.259 0.55/0.38 o 731 0.55/0.38 c Got one! Elapsed wall clock time (in seconds):0.265 0.55/0.38 o 729 0.55/0.39 c Got one! Elapsed wall clock time (in seconds):0.273 0.55/0.39 o 719 0.55/0.39 c Got one! Elapsed wall clock time (in seconds):0.275 0.55/0.39 o 717 0.55/0.40 c Got one! Elapsed wall clock time (in seconds):0.276 0.79/0.40 o 709 0.79/0.40 c Got one! Elapsed wall clock time (in seconds):0.28 0.79/0.40 o 707 0.79/0.40 c Got one! Elapsed wall clock time (in seconds):0.283 0.79/0.40 o 705 0.79/0.40 c Got one! Elapsed wall clock time (in seconds):0.285 0.79/0.40 o 703 0.79/0.41 c Got one! Elapsed wall clock time (in seconds):0.286 0.79/0.41 o 693 0.79/0.41 c Got one! Elapsed wall clock time (in seconds):0.288 0.79/0.41 o 689 0.79/0.41 c Got one! Elapsed wall clock time (in seconds):0.289 0.79/0.41 o 685 0.79/0.41 c Got one! Elapsed wall clock time (in seconds):0.295 0.79/0.41 o 684 0.79/0.42 c Got one! Elapsed wall clock time (in seconds):0.299 0.79/0.42 o 680 0.79/0.43 c Got one! Elapsed wall clock time (in seconds):0.314 0.79/0.43 o 678 0.79/0.44 c Got one! Elapsed wall clock time (in seconds):0.317 0.79/0.44 o 674 0.79/0.44 c Got one! Elapsed wall clock time (in seconds):0.323 0.79/0.44 o 672 0.79/0.45 c Got one! Elapsed wall clock time (in seconds):0.333 0.79/0.45 o 670 0.79/0.46 c Got one! Elapsed wall clock time (in seconds):0.339 0.79/0.46 o 668 0.79/0.47 c Got one! Elapsed wall clock time (in seconds):0.348 0.79/0.47 o 666 0.79/0.47 c Got one! Elapsed wall clock time (in seconds):0.352 0.79/0.47 o 664 0.79/0.48 c Got one! Elapsed wall clock time (in seconds):0.36 0.79/0.48 o 662 0.79/0.49 c Got one! Elapsed wall clock time (in seconds):0.37 0.79/0.49 o 660 1.03/0.50 c Got one! Elapsed wall clock time (in seconds):0.378 1.03/0.50 o 658 1.03/0.50 c Got one! Elapsed wall clock time (in seconds):0.381 1.03/0.50 o 642 1.03/0.52 c Got one! Elapsed wall clock time (in seconds):0.396 1.03/0.52 o 640 1.03/0.52 c Got one! Elapsed wall clock time (in seconds):0.402 1.03/0.52 o 638 1.03/0.53 c Got one! Elapsed wall clock time (in seconds):0.407 1.03/0.53 o 636 1.03/0.53 c Got one! Elapsed wall clock time (in seconds):0.416 1.03/0.53 o 634 1.03/0.54 c Got one! Elapsed wall clock time (in seconds):0.425 1.03/0.54 o 632 1.03/0.55 c Got one! Elapsed wall clock time (in seconds):0.429 1.03/0.55 o 630 1.03/0.55 c Got one! Elapsed wall clock time (in seconds):0.431 1.03/0.55 o 628 1.03/0.55 c Got one! Elapsed wall clock time (in seconds):0.435 1.03/0.55 o 626 1.03/0.56 c Got one! Elapsed wall clock time (in seconds):0.443 1.03/0.56 o 624 1.03/0.57 c Got one! Elapsed wall clock time (in seconds):0.447 1.03/0.57 o 622 1.03/0.57 c Got one! Elapsed wall clock time (in seconds):0.454 1.03/0.57 o 620 1.03/0.58 c Got one! Elapsed wall clock time (in seconds):0.456 1.03/0.58 o 616 1.03/0.58 c Got one! Elapsed wall clock time (in seconds):0.459 1.03/0.58 o 614 1.03/0.59 c Got one! Elapsed wall clock time (in seconds):0.474 1.03/0.59 o 613 1.17/0.61 c Got one! Elapsed wall clock time (in seconds):0.486 1.17/0.61 o 612 1.17/0.63 c Got one! Elapsed wall clock time (in seconds):0.507 1.17/0.63 o 610 1.17/0.64 c Got one! Elapsed wall clock time (in seconds):0.525 1.17/0.64 o 609 1.17/0.66 c Got one! Elapsed wall clock time (in seconds):0.545 1.17/0.66 o 607 1.17/0.67 c Got one! Elapsed wall clock time (in seconds):0.556 1.17/0.67 o 605 1.17/0.68 c Got one! Elapsed wall clock time (in seconds):0.561 1.17/0.68 o 601 1.17/0.69 c Got one! Elapsed wall clock time (in seconds):0.569 1.17/0.69 o 599 1.17/0.69 c Got one! Elapsed wall clock time (in seconds):0.571 1.17/0.69 o 597 1.29/0.72 c Got one! Elapsed wall clock time (in seconds):0.599 1.29/0.72 o 596 1.29/0.73 c Got one! Elapsed wall clock time (in seconds):0.615 1.29/0.73 o 594 1.29/0.74 c Got one! Elapsed wall clock time (in seconds):0.618 1.29/0.74 o 588 1.29/0.74 c Got one! Elapsed wall clock time (in seconds):0.621 1.29/0.74 o 584 1.29/0.74 c Got one! Elapsed wall clock time (in seconds):0.625 1.29/0.74 o 582 1.29/0.75 c Got one! Elapsed wall clock time (in seconds):0.627 1.29/0.75 o 580 1.29/0.77 c Got one! Elapsed wall clock time (in seconds):0.647 1.29/0.77 o 578 1.29/0.77 c Got one! Elapsed wall clock time (in seconds):0.651 1.29/0.77 o 576 1.29/0.77 c Got one! Elapsed wall clock time (in seconds):0.653 1.29/0.77 o 572 1.29/0.77 c Got one! Elapsed wall clock time (in seconds):0.655 1.29/0.77 o 570 1.29/0.78 c Got one! Elapsed wall clock time (in seconds):0.658 1.29/0.78 o 568 1.29/0.78 c Got one! Elapsed wall clock time (in seconds):0.662 1.29/0.78 o 564 1.29/0.78 c Got one! Elapsed wall clock time (in seconds):0.665 1.29/0.78 o 562 1.42/0.81 c Got one! Elapsed wall clock time (in seconds):0.689 1.42/0.81 o 561 1.42/0.81 c Got one! Elapsed wall clock time (in seconds):0.696 1.42/0.81 o 559 1.42/0.82 c Got one! Elapsed wall clock time (in seconds):0.699 1.42/0.82 o 557 1.42/0.82 c Got one! Elapsed wall clock time (in seconds):0.703 1.42/0.82 o 555 1.42/0.83 c Got one! Elapsed wall clock time (in seconds):0.708 1.42/0.83 o 551 1.42/0.83 c Got one! Elapsed wall clock time (in seconds):0.713 1.42/0.83 o 545 1.42/0.84 c Got one! Elapsed wall clock time (in seconds):0.716 1.42/0.84 o 535 1.42/0.84 c Got one! Elapsed wall clock time (in seconds):0.721 1.42/0.84 o 525 1.42/0.85 c Got one! Elapsed wall clock time (in seconds):0.727 1.42/0.85 o 523 1.42/0.85 c Got one! Elapsed wall clock time (in seconds):0.733 1.42/0.85 o 521 1.42/0.86 c Got one! Elapsed wall clock time (in seconds):0.746 1.42/0.86 o 519 1.42/0.87 c Got one! Elapsed wall clock time (in seconds):0.75 1.42/0.87 o 518 1.42/0.88 c Got one! Elapsed wall clock time (in seconds):0.757 1.42/0.88 o 516 1.42/0.88 c Got one! Elapsed wall clock time (in seconds):0.76 1.42/0.88 o 514 1.42/0.88 c Got one! Elapsed wall clock time (in seconds):0.764 1.42/0.88 o 510 1.59/0.91 c Got one! Elapsed wall clock time (in seconds):0.79 1.59/0.91 o 509 1.59/0.92 c Got one! Elapsed wall clock time (in seconds):0.798 1.59/0.92 o 507 1.59/0.93 c Got one! Elapsed wall clock time (in seconds):0.807 1.59/0.93 o 505 1.59/0.94 c Got one! Elapsed wall clock time (in seconds):0.816 1.59/0.94 o 503 1.59/0.95 c Got one! Elapsed wall clock time (in seconds):0.832 1.59/0.95 o 501 1.59/0.95 c Got one! Elapsed wall clock time (in seconds):0.836 1.59/0.95 o 497 1.59/0.97 c Got one! Elapsed wall clock time (in seconds):0.854 1.59/0.97 o 495 1.59/0.98 c Got one! Elapsed wall clock time (in seconds):0.861 1.59/0.98 o 493 1.59/0.99 c Got one! Elapsed wall clock time (in seconds):0.866 1.59/0.99 o 491 1.59/0.99 c Got one! Elapsed wall clock time (in seconds):0.874 1.59/0.99 o 489 1.59/1.00 c Got one! Elapsed wall clock time (in seconds):0.877 1.59/1.00 o 487 1.59/1.00 c Got one! Elapsed wall clock time (in seconds):0.882 1.59/1.00 o 485 1.70/1.00 c Got one! Elapsed wall clock time (in seconds):0.885 1.70/1.00 o 463 1.70/1.02 c Got one! Elapsed wall clock time (in seconds):0.896 1.70/1.02 o 461 1.70/1.02 c Got one! Elapsed wall clock time (in seconds):0.902 1.70/1.02 o 459 1.70/1.03 c Got one! Elapsed wall clock time (in seconds):0.911 1.70/1.03 o 457 1.70/1.04 c Got one! Elapsed wall clock time (in seconds):0.919 1.70/1.04 o 455 1.70/1.04 c Got one! Elapsed wall clock time (in seconds):0.924 1.70/1.04 o 453 1.70/1.05 c Got one! Elapsed wall clock time (in seconds):0.93 1.70/1.05 o 451 1.70/1.05 c Got one! Elapsed wall clock time (in seconds):0.933 1.70/1.05 o 449 1.70/1.06 c Got one! Elapsed wall clock time (in seconds):0.939 1.70/1.06 o 447 1.70/1.06 c Got one! Elapsed wall clock time (in seconds):0.946 1.70/1.06 o 445 1.70/1.07 c Got one! Elapsed wall clock time (in seconds):0.956 1.70/1.07 o 443 1.70/1.08 c Got one! Elapsed wall clock time (in seconds):0.961 1.70/1.08 o 441 1.70/1.09 c Got one! Elapsed wall clock time (in seconds):0.969 1.70/1.09 o 439 1.70/1.10 c Got one! Elapsed wall clock time (in seconds):0.983 1.70/1.10 o 437 1.80/1.11 c Got one! Elapsed wall clock time (in seconds):0.993 1.80/1.11 o 435 1.80/1.12 c Got one! Elapsed wall clock time (in seconds):0.997 1.80/1.12 o 433 1.80/1.12 c Got one! Elapsed wall clock time (in seconds):1.002 1.80/1.12 o 431 1.80/1.13 c Got one! Elapsed wall clock time (in seconds):1.007 1.80/1.13 o 429 1.80/1.13 c Got one! Elapsed wall clock time (in seconds):1.01 1.80/1.13 o 427 1.80/1.14 c Got one! Elapsed wall clock time (in seconds):1.017 1.80/1.14 o 426 1.80/1.14 c Got one! Elapsed wall clock time (in seconds):1.023 1.80/1.14 o 424 1.80/1.15 c Got one! Elapsed wall clock time (in seconds):1.028 1.80/1.15 o 422 1.80/1.15 c Got one! Elapsed wall clock time (in seconds):1.032 1.80/1.15 o 420 1.80/1.16 c Got one! Elapsed wall clock time (in seconds):1.038 1.80/1.16 o 418 1.80/1.17 c Got one! Elapsed wall clock time (in seconds):1.05 1.80/1.17 o 416 1.80/1.17 c Got one! Elapsed wall clock time (in seconds):1.056 1.80/1.17 o 412 1.80/1.18 c Got one! Elapsed wall clock time (in seconds):1.059 1.80/1.18 o 408 1.80/1.18 c Got one! Elapsed wall clock time (in seconds):1.062 1.80/1.18 o 406 1.80/1.19 c Got one! Elapsed wall clock time (in seconds):1.067 1.80/1.19 o 404 1.80/1.19 c Got one! Elapsed wall clock time (in seconds):1.07 1.80/1.19 o 398 1.80/1.19 c Got one! Elapsed wall clock time (in seconds):1.073 1.80/1.19 o 396 1.80/1.19 c Got one! Elapsed wall clock time (in seconds):1.076 1.80/1.19 o 394 1.89/1.20 c Got one! Elapsed wall clock time (in seconds):1.078 1.89/1.20 o 386 1.89/1.20 c Got one! Elapsed wall clock time (in seconds):1.081 1.89/1.20 o 384 1.89/1.20 c Got one! Elapsed wall clock time (in seconds):1.084 1.89/1.20 o 382 1.89/1.21 c Got one! Elapsed wall clock time (in seconds):1.087 1.89/1.21 o 380 1.89/1.21 c Got one! Elapsed wall clock time (in seconds):1.09 1.89/1.21 o 376 1.89/1.21 c Got one! Elapsed wall clock time (in seconds):1.095 1.89/1.21 o 372 1.89/1.22 c Got one! Elapsed wall clock time (in seconds):1.099 1.89/1.22 o 370 1.89/1.22 c Got one! Elapsed wall clock time (in seconds):1.102 1.89/1.22 o 368 1.89/1.22 c Got one! Elapsed wall clock time (in seconds):1.105 1.89/1.22 o 364 1.89/1.23 c Got one! Elapsed wall clock time (in seconds):1.108 1.89/1.23 o 360 1.89/1.23 c Got one! Elapsed wall clock time (in seconds):1.111 1.89/1.23 o 358 1.89/1.28 c Got one! Elapsed wall clock time (in seconds):1.16 1.89/1.28 o 357 1.89/1.28 c Got one! Elapsed wall clock time (in seconds):1.165 1.89/1.28 o 355 1.89/1.29 c Got one! Elapsed wall clock time (in seconds):1.17 1.89/1.29 o 351 1.89/1.29 c Got one! Elapsed wall clock time (in seconds):1.175 1.89/1.29 o 349 1.99/1.30 c Got one! Elapsed wall clock time (in seconds):1.179 1.99/1.30 o 345 1.99/1.30 c Got one! Elapsed wall clock time (in seconds):1.183 1.99/1.30 o 343 1.99/1.31 c Got one! Elapsed wall clock time (in seconds):1.189 1.99/1.31 o 341 1.99/1.31 c Got one! Elapsed wall clock time (in seconds):1.193 1.99/1.31 o 339 1.99/1.32 c Got one! Elapsed wall clock time (in seconds):1.199 1.99/1.32 o 337 1.99/1.32 c Got one! Elapsed wall clock time (in seconds):1.206 1.99/1.32 o 335 1.99/1.33 c Got one! Elapsed wall clock time (in seconds):1.21 1.99/1.33 o 331 1.99/1.34 c Got one! Elapsed wall clock time (in seconds):1.216 1.99/1.34 o 329 1.99/1.34 c Got one! Elapsed wall clock time (in seconds):1.22 1.99/1.34 o 327 1.99/1.35 c Got one! Elapsed wall clock time (in seconds):1.235 1.99/1.35 o 325 1.99/1.36 c Got one! Elapsed wall clock time (in seconds):1.24 1.99/1.36 o 323 1.99/1.36 c Got one! Elapsed wall clock time (in seconds):1.244 1.99/1.36 o 321 1.99/1.37 c Got one! Elapsed wall clock time (in seconds):1.249 1.99/1.37 o 319 1.99/1.37 c Got one! Elapsed wall clock time (in seconds):1.252 1.99/1.37 o 317 1.99/1.38 c Got one! Elapsed wall clock time (in seconds):1.257 1.99/1.38 o 315 1.99/1.39 c Got one! Elapsed wall clock time (in seconds):1.268 1.99/1.39 o 314 1.99/1.39 c Got one! Elapsed wall clock time (in seconds):1.273 1.99/1.39 o 312 1.99/1.40 c Got one! Elapsed wall clock time (in seconds):1.277 1.99/1.40 o 310 2.09/1.40 c Got one! Elapsed wall clock time (in seconds):1.283 2.09/1.40 o 306 2.09/1.41 c Got one! Elapsed wall clock time (in seconds):1.289 2.09/1.41 o 304 2.09/1.41 c Got one! Elapsed wall clock time (in seconds):1.294 2.09/1.41 o 302 2.09/1.43 c Got one! Elapsed wall clock time (in seconds):1.31 2.09/1.43 o 300 2.09/1.44 c Got one! Elapsed wall clock time (in seconds):1.317 2.09/1.44 o 296 2.09/1.44 c Got one! Elapsed wall clock time (in seconds):1.324 2.09/1.44 o 294 2.09/1.45 c Got one! Elapsed wall clock time (in seconds):1.333 2.09/1.45 o 290 2.09/1.48 c Got one! Elapsed wall clock time (in seconds):1.358 2.09/1.48 o 288 2.09/1.49 c Got one! Elapsed wall clock time (in seconds):1.375 2.09/1.49 o 287 2.19/1.51 c Got one! Elapsed wall clock time (in seconds):1.388 2.19/1.51 o 285 2.19/1.51 c Got one! Elapsed wall clock time (in seconds):1.393 2.19/1.51 o 283 2.19/1.52 c Got one! Elapsed wall clock time (in seconds):1.397 2.19/1.52 o 281 2.19/1.52 c Got one! Elapsed wall clock time (in seconds):1.402 2.19/1.52 o 279 2.19/1.53 c Got one! Elapsed wall clock time (in seconds):1.406 2.19/1.53 o 277 2.19/1.53 c Got one! Elapsed wall clock time (in seconds):1.411 2.19/1.53 o 273 2.19/1.54 c Got one! Elapsed wall clock time (in seconds):1.417 2.19/1.54 o 269 2.19/1.54 c Got one! Elapsed wall clock time (in seconds):1.421 2.19/1.54 o 267 2.19/1.54 c Got one! Elapsed wall clock time (in seconds):1.426 2.19/1.54 o 265 2.19/1.55 c Got one! Elapsed wall clock time (in seconds):1.429 2.19/1.55 o 263 2.19/1.55 c Got one! Elapsed wall clock time (in seconds):1.435 2.19/1.55 o 261 2.19/1.57 c Got one! Elapsed wall clock time (in seconds):1.45 2.19/1.57 o 255 2.19/1.58 c Got one! Elapsed wall clock time (in seconds):1.458 2.19/1.58 o 254 2.19/1.58 c Got one! Elapsed wall clock time (in seconds):1.465 2.19/1.58 o 252 2.19/1.59 c Got one! Elapsed wall clock time (in seconds):1.471 2.19/1.59 o 248 2.29/1.60 c Got one! Elapsed wall clock time (in seconds):1.478 2.29/1.60 o 246 2.29/1.61 c Got one! Elapsed wall clock time (in seconds):1.486 2.29/1.61 o 244 2.29/1.61 c Got one! Elapsed wall clock time (in seconds):1.492 2.29/1.61 o 242 2.29/1.62 c Got one! Elapsed wall clock time (in seconds):1.5 2.29/1.62 o 240 2.29/1.63 c Got one! Elapsed wall clock time (in seconds):1.514 2.29/1.63 o 238 2.29/1.64 c Got one! Elapsed wall clock time (in seconds):1.519 2.29/1.64 o 236 2.29/1.64 c Got one! Elapsed wall clock time (in seconds):1.523 2.29/1.64 o 234 2.29/1.65 c Got one! Elapsed wall clock time (in seconds):1.528 2.29/1.65 o 232 2.29/1.65 c Got one! Elapsed wall clock time (in seconds):1.533 2.29/1.65 o 230 2.29/1.66 c Got one! Elapsed wall clock time (in seconds):1.537 2.29/1.66 o 226 2.29/1.66 c Got one! Elapsed wall clock time (in seconds):1.541 2.29/1.66 o 224 2.29/1.67 c Got one! Elapsed wall clock time (in seconds):1.551 2.29/1.67 o 222 2.29/1.68 c Got one! Elapsed wall clock time (in seconds):1.56 2.29/1.68 o 220 2.29/1.69 c Got one! Elapsed wall clock time (in seconds):1.569 2.29/1.69 o 216 2.39/1.71 c Got one! Elapsed wall clock time (in seconds):1.589 2.39/1.71 o 214 2.39/1.79 c Got one! Elapsed wall clock time (in seconds):1.667 2.39/1.79 o 213 2.39/1.79 c Got one! Elapsed wall clock time (in seconds):1.671 2.39/1.79 o 211 2.39/1.79 c Got one! Elapsed wall clock time (in seconds):1.676 2.39/1.79 o 209 2.49/1.80 c Got one! Elapsed wall clock time (in seconds):1.679 2.49/1.80 o 207 2.49/1.80 c Got one! Elapsed wall clock time (in seconds):1.684 2.49/1.80 o 205 2.49/1.81 c Got one! Elapsed wall clock time (in seconds):1.688 2.49/1.81 o 203 2.49/1.81 c Got one! Elapsed wall clock time (in seconds):1.692 2.49/1.81 o 201 2.49/1.82 c Got one! Elapsed wall clock time (in seconds):1.696 2.49/1.82 o 199 2.49/1.82 c Got one! Elapsed wall clock time (in seconds):1.7 2.49/1.82 o 197 2.49/1.82 c Got one! Elapsed wall clock time (in seconds):1.704 2.49/1.82 o 193 2.49/1.83 c Got one! Elapsed wall clock time (in seconds):1.708 2.49/1.83 o 179 2.49/1.83 c Got one! Elapsed wall clock time (in seconds):1.712 2.49/1.83 o 175 2.49/1.84 c Got one! Elapsed wall clock time (in seconds):1.717 2.49/1.84 o 173 2.49/1.84 c Got one! Elapsed wall clock time (in seconds):1.722 2.49/1.84 o 171 2.49/1.85 c Got one! Elapsed wall clock time (in seconds):1.727 2.49/1.85 o 169 2.49/1.85 c Got one! Elapsed wall clock time (in seconds):1.736 2.49/1.85 o 167 2.49/1.86 c Got one! Elapsed wall clock time (in seconds):1.74 2.49/1.86 o 163 2.49/1.86 c Got one! Elapsed wall clock time (in seconds):1.744 2.49/1.86 o 161 2.49/1.87 c Got one! Elapsed wall clock time (in seconds):1.748 2.49/1.87 o 159 2.49/1.87 c Got one! Elapsed wall clock time (in seconds):1.753 2.49/1.87 o 153 2.49/1.88 c Got one! Elapsed wall clock time (in seconds):1.757 2.49/1.88 o 151 2.49/1.88 c Got one! Elapsed wall clock time (in seconds):1.761 2.49/1.88 o 149 2.49/1.88 c Got one! Elapsed wall clock time (in seconds):1.765 2.49/1.88 o 147 2.49/1.89 c Got one! Elapsed wall clock time (in seconds):1.769 2.49/1.89 o 145 2.49/1.89 c Got one! Elapsed wall clock time (in seconds):1.773 2.49/1.89 o 143 2.49/1.90 c Got one! Elapsed wall clock time (in seconds):1.777 2.49/1.90 o 141 2.59/1.90 c Got one! Elapsed wall clock time (in seconds):1.781 2.59/1.90 o 139 2.59/1.90 c Got one! Elapsed wall clock time (in seconds):1.785 2.59/1.90 o 137 2.59/1.91 c Got one! Elapsed wall clock time (in seconds):1.788 2.59/1.91 o 135 2.59/1.98 c Got one! Elapsed wall clock time (in seconds):1.858 2.59/1.98 o 133 2.70/2.02 c Got one! Elapsed wall clock time (in seconds):1.9 2.70/2.02 o 132 2.70/2.03 c Got one! Elapsed wall clock time (in seconds):1.91 2.70/2.03 o 130 2.70/2.03 c Got one! Elapsed wall clock time (in seconds):1.916 2.70/2.03 o 126 2.70/2.08 c Got one! Elapsed wall clock time (in seconds):1.961 2.70/2.08 o 124 2.82/2.11 c Got one! Elapsed wall clock time (in seconds):1.989 2.82/2.11 o 122 2.82/2.11 c Got one! Elapsed wall clock time (in seconds):1.993 2.82/2.11 o 120 2.82/2.12 c Got one! Elapsed wall clock time (in seconds):1.998 2.82/2.12 o 118 2.82/2.12 c Got one! Elapsed wall clock time (in seconds):2.006 2.82/2.12 o 116 2.82/2.13 c Got one! Elapsed wall clock time (in seconds):2.008 2.82/2.13 o 114 2.82/2.13 c Got one! Elapsed wall clock time (in seconds):2.011 2.82/2.13 o 112 2.82/2.18 c Got one! Elapsed wall clock time (in seconds):2.064 2.82/2.18 o 110 2.82/2.19 c Got one! Elapsed wall clock time (in seconds):2.073 2.82/2.19 o 109 2.82/2.20 c Got one! Elapsed wall clock time (in seconds):2.077 2.82/2.20 o 107 2.82/2.20 c Got one! Elapsed wall clock time (in seconds):2.079 2.82/2.20 o 105 2.92/2.20 c Got one! Elapsed wall clock time (in seconds):2.084 2.92/2.20 o 103 3.01/2.33 c cleaning 7491 clauses out of 14985 with flag 2001/30060 3.34/2.66 c cleaning 6747 clauses out of 13495 with flag 8002/36061 3.64/2.98 c Got one! Elapsed wall clock time (in seconds):2.859 3.64/2.98 o 102 3.74/3.01 c Got one! Elapsed wall clock time (in seconds):2.896 3.74/3.01 o 100 3.74/3.02 c Got one! Elapsed wall clock time (in seconds):2.9 3.74/3.02 o 96 3.74/3.02 c Got one! Elapsed wall clock time (in seconds):2.903 3.74/3.02 o 94 3.74/3.03 c Got one! Elapsed wall clock time (in seconds):2.906 3.74/3.03 o 92 3.84/3.14 c Got one! Elapsed wall clock time (in seconds):3.026 3.84/3.14 o 90 3.84/3.15 c Got one! Elapsed wall clock time (in seconds):3.03 3.84/3.15 o 88 3.84/3.15 c Got one! Elapsed wall clock time (in seconds):3.033 3.84/3.15 o 86 3.84/3.16 c Got one! Elapsed wall clock time (in seconds):3.04 3.84/3.16 o 84 3.84/3.16 c Got one! Elapsed wall clock time (in seconds):3.043 3.84/3.16 o 82 3.84/3.17 c Got one! Elapsed wall clock time (in seconds):3.049 3.84/3.17 o 80 3.84/3.17 c Got one! Elapsed wall clock time (in seconds):3.053 3.84/3.17 o 78 3.84/3.18 c Got one! Elapsed wall clock time (in seconds):3.057 3.84/3.18 o 76 3.84/3.19 c Got one! Elapsed wall clock time (in seconds):3.071 3.84/3.19 o 74 3.84/3.19 c Got one! Elapsed wall clock time (in seconds):3.075 3.84/3.19 o 72 3.84/3.20 c Got one! Elapsed wall clock time (in seconds):3.08 3.84/3.20 o 70 3.95/3.20 c Got one! Elapsed wall clock time (in seconds):3.085 3.95/3.20 o 68 3.95/3.21 c Got one! Elapsed wall clock time (in seconds):3.089 3.95/3.21 o 66 3.95/3.21 c Got one! Elapsed wall clock time (in seconds):3.092 3.95/3.21 o 64 3.95/3.22 c Got one! Elapsed wall clock time (in seconds):3.099 3.95/3.22 o 62 3.95/3.22 c Got one! Elapsed wall clock time (in seconds):3.104 3.95/3.22 o 60 3.95/3.24 c Got one! Elapsed wall clock time (in seconds):3.124 3.95/3.24 o 58 3.95/3.25 c Got one! Elapsed wall clock time (in seconds):3.129 3.95/3.25 o 56 3.95/3.25 c Got one! Elapsed wall clock time (in seconds):3.133 3.95/3.25 o 54 4.14/3.46 c cleaning 8335 clauses out of 16673 with flag 3001/50033 4.46/3.78 c cleaning 7164 clauses out of 14341 with flag 9004/56036 4.86/4.15 c cleaning 7085 clauses out of 14174 with flag 16001/63033 5.27/4.59 c cleaning 7544 clauses out of 15094 with flag 24006/71038 5.87/5.10 c cleaning 8273 clauses out of 16548 with flag 33004/80036 6.37/5.65 c cleaning 9136 clauses out of 18271 with flag 43000/90032 7.08/6.33 c cleaning 10070 clauses out of 20139 with flag 54004/101036 7.78/7.05 c cleaning 11031 clauses out of 22066 with flag 66001/113033 8.60/7.86 c cleaning 12015 clauses out of 24034 with flag 79000/126032 9.51/8.72 c cleaning 13003 clauses out of 26020 with flag 93001/140033 10.42/9.67 c cleaning 14010 clauses out of 28020 with flag 108004/155036 11.56/10.76 c cleaning 15002 clauses out of 30006 with flag 124000/171032 12.87/12.01 c cleaning 16002 clauses out of 32004 with flag 141000/188032 13.86/13.07 c cleaning 16997 clauses out of 34004 with flag 159002/206034 15.17/14.35 c cleaning 18002 clauses out of 36006 with flag 178001/225033 16.67/15.88 c cleaning 19000 clauses out of 38007 with flag 198004/245036 18.29/17.50 c cleaning 20002 clauses out of 40006 with flag 219003/266035 20.09/19.20 c cleaning 20991 clauses out of 42001 with flag 241000/288032 21.82/20.94 c cleaning 21998 clauses out of 44010 with flag 264000/311032 23.71/22.80 c cleaning 23006 clauses out of 46014 with flag 288002/335034 25.92/25.02 c cleaning 24000 clauses out of 48006 with flag 313000/360032 28.33/27.44 c cleaning 25004 clauses out of 50007 with flag 339001/386033 30.65/29.77 c cleaning 25998 clauses out of 52004 with flag 366002/413034 33.17/32.20 c cleaning 26997 clauses out of 54004 with flag 394000/441032 35.77/34.85 c cleaning 28004 clauses out of 56008 with flag 423001/470033 38.69/37.77 c cleaning 29003 clauses out of 58005 with flag 453002/500034 41.90/40.93 c cleaning 29994 clauses out of 60001 with flag 484001/531033 45.01/44.01 c cleaning 31000 clauses out of 62009 with flag 516003/563035 48.34/47.34 c cleaning 32003 clauses out of 64010 with flag 549004/596036 51.85/50.85 c cleaning 32999 clauses out of 66003 with flag 583000/630032 55.17/54.10 c cleaning 33994 clauses out of 68006 with flag 618002/665034 59.08/58.04 c cleaning 35002 clauses out of 70010 with flag 654000/701032 62.90/61.88 c cleaning 35999 clauses out of 72008 with flag 691000/738032 67.32/66.24 c cleaning 37000 clauses out of 74013 with flag 729004/776036 71.86/70.70 c cleaning 38003 clauses out of 76009 with flag 768000/815032 76.06/74.91 c cleaning 38997 clauses out of 78006 with flag 808000/855032 81.17/80.06 c cleaning 40003 clauses out of 80013 with flag 849004/896036 86.50/85.39 c cleaning 41004 clauses out of 82007 with flag 891001/938033 91.53/90.37 c cleaning 41996 clauses out of 84005 with flag 934003/981035 96.75/95.55 c cleaning 42997 clauses out of 86007 with flag 978001/1025033 102.38/101.14 c cleaning 43996 clauses out of 88010 with flag 1023001/1070033 107.52/106.24 c cleaning 45001 clauses out of 90015 with flag 1069002/1116034 113.53/112.29 c cleaning 46001 clauses out of 92014 with flag 1116002/1163034 119.45/118.12 c cleaning 47004 clauses out of 94011 with flag 1164000/1211032 127.28/125.92 c cleaning 48000 clauses out of 96010 with flag 1213003/1260035 133.61/132.29 c cleaning 48997 clauses out of 98010 with flag 1263003/1310035 140.43/139.02 c cleaning 50000 clauses out of 100012 with flag 1314002/1361034 146.07/144.60 c Got one! Elapsed wall clock time (in seconds):144.48 146.07/144.60 o 53 146.37/144.97 c Got one! Elapsed wall clock time (in seconds):144.849 146.37/144.97 o 51 148.27/146.85 c cleaning 53787 clauses out of 107573 with flag 5000/1418595 149.11/147.63 c cleaning 29893 clauses out of 59788 with flag 11002/1424597 149.62/148.17 c cleaning 18448 clauses out of 36896 with flag 18003/1431598 150.24/148.73 c cleaning 13214 clauses out of 26445 with flag 26000/1439595 150.74/149.25 c cleaning 11106 clauses out of 22231 with flag 35000/1448595 151.35/149.84 c cleaning 10557 clauses out of 21125 with flag 45000/1458595 151.95/150.49 c cleaning 10780 clauses out of 21570 with flag 56002/1469597 152.86/151.34 c cleaning 11390 clauses out of 22788 with flag 68000/1481595 153.87/152.35 c cleaning 12197 clauses out of 24400 with flag 81002/1494597 154.88/153.30 c cleaning 13095 clauses out of 26201 with flag 95000/1508595 155.88/154.38 c cleaning 14049 clauses out of 28107 with flag 110001/1523596 157.19/155.63 c cleaning 15027 clauses out of 30064 with flag 126007/1539602 158.40/156.89 c cleaning 16011 clauses out of 32031 with flag 143001/1556596 159.21/157.66 c Got one! Elapsed wall clock time (in seconds):157.543 159.21/157.66 o 50 159.71/158.18 c cleaning 16495 clauses out of 33000 with flag 5001/1573576 160.25/158.62 c cleaning 11241 clauses out of 22507 with flag 11003/1579578 160.67/159.05 c cleaning 9130 clauses out of 18264 with flag 18001/1586576 161.17/159.54 c cleaning 8558 clauses out of 17134 with flag 26001/1594576 161.67/160.05 c cleaning 8778 clauses out of 17575 with flag 35000/1603575 162.38/160.71 c cleaning 9387 clauses out of 18798 with flag 45001/1613576 163.11/161.42 c cleaning 10193 clauses out of 20411 with flag 56001/1624576 163.43/161.73 c Got one! Elapsed wall clock time (in seconds):161.609 163.43/161.73 o 48 163.73/162.07 c cleaning 10290 clauses out of 20597 with flag 5000/1634955 164.16/162.42 c cleaning 8147 clauses out of 16309 with flag 11002/1640957 164.57/162.84 c cleaning 7573 clauses out of 15160 with flag 18000/1647955 165.07/163.36 c cleaning 7783 clauses out of 15587 with flag 26000/1655955 165.79/164.01 c cleaning 8402 clauses out of 16805 with flag 35001/1664956 166.41/164.64 c cleaning 9188 clauses out of 18402 with flag 45000/1674955 167.11/165.37 c cleaning 10104 clauses out of 20214 with flag 56000/1685955 168.02/166.30 c cleaning 11050 clauses out of 22110 with flag 68000/1697955 169.12/167.32 c cleaning 12028 clauses out of 24061 with flag 81001/1710956 170.22/168.45 c cleaning 13010 clauses out of 26032 with flag 95000/1724955 171.62/169.81 c cleaning 14008 clauses out of 28025 with flag 110003/1739958 173.23/171.40 c cleaning 15008 clauses out of 30015 with flag 126001/1755956 174.64/172.81 c cleaning 16001 clauses out of 32010 with flag 143004/1772959 176.18/174.37 c cleaning 17004 clauses out of 34010 with flag 161005/1790960 177.00/175.11 c Got one! Elapsed wall clock time (in seconds):174.99 177.00/175.11 o 46 177.00/175.12 c Got one! Elapsed wall clock time (in seconds):174.998 177.00/175.12 o 44 177.00/175.12 c Got one! Elapsed wall clock time (in seconds):175.004 177.00/175.12 o 42 177.00/175.13 c Got one! Elapsed wall clock time (in seconds):175.01 177.00/175.13 o 40 177.40/175.58 c cleaning 16613 clauses out of 33249 with flag 5000/1807203 177.81/175.98 c cleaning 11306 clauses out of 22637 with flag 11001/1813204 178.31/176.40 c cleaning 9150 clauses out of 18330 with flag 18000/1820203 178.71/176.87 c cleaning 8576 clauses out of 17180 with flag 26000/1828203 179.32/177.41 c cleaning 8800 clauses out of 17606 with flag 35002/1837205 179.82/177.97 c cleaning 9394 clauses out of 18804 with flag 45000/1847203 180.53/178.65 c cleaning 10197 clauses out of 20410 with flag 56000/1858203 181.33/179.46 c cleaning 11101 clauses out of 22214 with flag 68001/1870204 182.24/180.33 c cleaning 12049 clauses out of 24115 with flag 81003/1883206 183.14/181.22 c cleaning 13028 clauses out of 26063 with flag 95000/1897203 184.05/182.18 c cleaning 14015 clauses out of 28037 with flag 110002/1912205 185.17/183.27 c cleaning 15010 clauses out of 30020 with flag 126000/1928203 186.41/184.47 c cleaning 16002 clauses out of 32010 with flag 143000/1945203 187.74/185.74 c cleaning 17002 clauses out of 34009 with flag 161001/1963204 189.15/187.10 c cleaning 18001 clauses out of 36009 with flag 180003/1982206 190.66/188.66 c cleaning 19000 clauses out of 38007 with flag 200002/2002205 192.46/190.41 c cleaning 19998 clauses out of 40005 with flag 221000/2023203 194.27/192.28 c cleaning 20996 clauses out of 42009 with flag 243002/2045205 196.18/194.15 c cleaning 22007 clauses out of 44014 with flag 266003/2068206 198.20/196.18 c cleaning 22999 clauses out of 46004 with flag 290000/2092203 200.52/198.47 c cleaning 24001 clauses out of 48005 with flag 315000/2117203 203.03/200.96 c cleaning 24998 clauses out of 50004 with flag 341000/2143203 205.56/203.46 c cleaning 25998 clauses out of 52007 with flag 368001/2170204 207.99/205.89 c cleaning 26999 clauses out of 54011 with flag 396003/2198206 210.70/208.59 c cleaning 28000 clauses out of 56010 with flag 425001/2227204 213.71/211.52 c cleaning 28999 clauses out of 58011 with flag 455002/2257205 216.93/214.74 c cleaning 29995 clauses out of 60012 with flag 486002/2288205 220.23/218.08 c cleaning 31006 clauses out of 62015 with flag 518000/2320203 223.54/221.40 c cleaning 32004 clauses out of 64010 with flag 551001/2353204 226.75/224.58 c cleaning 32997 clauses out of 66007 with flag 585002/2387205 230.65/228.41 c cleaning 34004 clauses out of 68009 with flag 620001/2422204 234.46/232.24 c cleaning 34997 clauses out of 70007 with flag 656003/2458206 238.27/236.07 c cleaning 36002 clauses out of 72007 with flag 693000/2495203 242.88/240.68 c cleaning 36996 clauses out of 74005 with flag 731000/2533203 246.79/244.52 c cleaning 38000 clauses out of 76009 with flag 770000/2572203 251.11/248.80 c cleaning 39000 clauses out of 78010 with flag 810001/2612204 255.33/253.02 c cleaning 39999 clauses out of 80010 with flag 851001/2653204 259.65/257.33 c cleaning 40997 clauses out of 82010 with flag 893000/2695203 265.17/262.87 c cleaning 42003 clauses out of 84014 with flag 936001/2738204 269.48/267.15 c cleaning 42999 clauses out of 86012 with flag 980002/2782205 274.79/272.45 c cleaning 43999 clauses out of 88014 with flag 1025003/2827206 280.62/278.28 c cleaning 45004 clauses out of 90012 with flag 1071000/2873203 285.92/283.54 c cleaning 46005 clauses out of 92014 with flag 1118006/2920209 291.44/289.09 c cleaning 46995 clauses out of 94005 with flag 1166002/2968205 297.66/295.26 c cleaning 48002 clauses out of 96009 with flag 1215001/3017204 303.68/301.29 c cleaning 48999 clauses out of 98008 with flag 1265002/3067205 310.50/308.06 c cleaning 49999 clauses out of 100011 with flag 1316004/3118207 317.21/314.78 c cleaning 50999 clauses out of 102009 with flag 1368001/3170204 324.42/321.99 c cleaning 51998 clauses out of 104009 with flag 1421000/3223203 332.76/330.23 c cleaning 53001 clauses out of 106011 with flag 1475000/3277203 339.88/337.37 c cleaning 53992 clauses out of 108010 with flag 1530000/3332203 346.30/343.71 c cleaning 54999 clauses out of 110020 with flag 1586002/3388205 354.00/351.42 c cleaning 56005 clauses out of 112022 with flag 1643003/3445206 361.83/359.21 c cleaning 56999 clauses out of 114014 with flag 1701000/3503203 365.83/363.28 c Got one! Elapsed wall clock time (in seconds):363.157 365.83/363.28 o 39 365.93/363.31 c Got one! Elapsed wall clock time (in seconds):363.191 365.93/363.31 o 37 365.93/363.33 c Got one! Elapsed wall clock time (in seconds):363.215 365.93/363.33 o 35 365.93/363.36 c Got one! Elapsed wall clock time (in seconds):363.24 365.93/363.36 o 33 365.93/363.38 c Got one! Elapsed wall clock time (in seconds):363.264 365.93/363.38 o 31 366.03/363.42 c Got one! Elapsed wall clock time (in seconds):363.298 366.03/363.42 o 29 366.03/363.44 c Got one! Elapsed wall clock time (in seconds):363.322 366.03/363.44 o 25 366.03/363.47 c Got one! Elapsed wall clock time (in seconds):363.347 366.03/363.47 o 23 367.13/364.50 c cleaning 48445 clauses out of 96909 with flag 5000/3545163 367.74/365.12 c cleaning 27229 clauses out of 54467 with flag 11003/3551166 368.26/365.62 c cleaning 17107 clauses out of 34237 with flag 18002/3558165 368.76/366.11 c cleaning 12557 clauses out of 25129 with flag 26001/3566164 369.39/366.74 c cleaning 10774 clauses out of 21574 with flag 35003/3575166 370.00/367.38 c cleaning 10393 clauses out of 20799 with flag 45002/3585165 370.71/368.06 c cleaning 10702 clauses out of 21405 with flag 56001/3596164 371.41/368.74 c cleaning 11344 clauses out of 22702 with flag 68000/3608163 372.22/369.53 c cleaning 12178 clauses out of 24358 with flag 81000/3621163 373.13/370.48 c cleaning 13085 clauses out of 26180 with flag 95000/3635163 374.33/371.69 c cleaning 14045 clauses out of 28095 with flag 110000/3650163 375.65/372.98 c cleaning 15025 clauses out of 30053 with flag 126003/3666166 375.86/373.18 c Got one! Elapsed wall clock time (in seconds):373.063 375.86/373.18 o 21 376.06/373.34 c cleaning 10374 clauses out of 20755 with flag 2003/3671893 376.27/373.59 c cleaning 8182 clauses out of 16378 with flag 8000/3677890 376.68/373.91 c cleaning 7588 clauses out of 15196 with flag 15000/3684890 376.99/374.28 c cleaning 7800 clauses out of 15608 with flag 23000/3692890 377.52/374.71 c cleaning 8402 clauses out of 16808 with flag 32000/3701890 378.02/375.21 c cleaning 9201 clauses out of 18408 with flag 42002/3711892 378.64/375.81 c cleaning 10102 clauses out of 20206 with flag 53001/3722891 379.27/376.49 c cleaning 11044 clauses out of 22103 with flag 65000/3734890 380.08/377.27 c cleaning 12028 clauses out of 24061 with flag 78002/3747892 381.08/378.23 c cleaning 13016 clauses out of 26034 with flag 92003/3761893 382.08/379.22 c cleaning 14009 clauses out of 28017 with flag 107002/3776892 383.21/380.33 c cleaning 15004 clauses out of 30007 with flag 123001/3792891 384.41/381.57 c cleaning 15997 clauses out of 32004 with flag 140002/3809892 385.82/382.98 c cleaning 16999 clauses out of 34005 with flag 158000/3827890 387.53/384.60 c cleaning 17994 clauses out of 36006 with flag 177000/3846890 389.24/386.38 c cleaning 19000 clauses out of 38012 with flag 197000/3866890 391.16/388.29 c cleaning 20003 clauses out of 40013 with flag 218001/3887891 393.47/390.56 c cleaning 20999 clauses out of 42009 with flag 240000/3909890 395.98/393.05 c cleaning 21999 clauses out of 44010 with flag 263000/3932890 398.49/395.56 c cleaning 23005 clauses out of 46011 with flag 287000/3956890 401.14/398.17 c cleaning 24002 clauses out of 48006 with flag 312000/3981890 403.25/400.22 c cleaning 25002 clauses out of 50004 with flag 338000/4007890 405.37/402.35 c cleaning 25995 clauses out of 52003 with flag 365001/4034891 407.78/404.74 c cleaning 27002 clauses out of 54009 with flag 393002/4062892 410.68/407.69 c cleaning 27997 clauses out of 56007 with flag 422002/4091892 413.79/410.75 c cleaning 29004 clauses out of 58009 with flag 452001/4121891 416.91/413.86 c cleaning 29998 clauses out of 60005 with flag 483001/4152891 420.83/417.70 c cleaning 31002 clauses out of 62008 with flag 515002/4184892 424.97/421.89 c cleaning 32000 clauses out of 64005 with flag 548001/4217891 428.94/425.79 c cleaning 32995 clauses out of 66004 with flag 582000/4251890 432.55/429.38 c cleaning 34005 clauses out of 68009 with flag 617000/4286890 436.67/433.43 c cleaning 34998 clauses out of 70004 with flag 653000/4322890 441.38/438.19 c cleaning 35996 clauses out of 72006 with flag 690000/4359890 447.12/443.89 c cleaning 37006 clauses out of 74013 with flag 728003/4397893 452.33/449.03 c cleaning 37997 clauses out of 76004 with flag 767000/4436890 457.15/453.87 c cleaning 38995 clauses out of 78007 with flag 807000/4476890 461.68/458.40 c cleaning 40003 clauses out of 80013 with flag 848001/4517891 466.69/463.31 c cleaning 41005 clauses out of 82009 with flag 890000/4559890 471.30/467.90 c cleaning 41999 clauses out of 84005 with flag 933001/4602891 475.23/471.82 c cleaning 42997 clauses out of 86006 with flag 977001/4646891 479.22/475.80 c cleaning 43999 clauses out of 88009 with flag 1022001/4691891 483.44/480.00 c cleaning 45000 clauses out of 90010 with flag 1068001/4737891 487.66/484.20 c cleaning 46003 clauses out of 92011 with flag 1115002/4784892 492.78/489.34 c cleaning 47003 clauses out of 94006 with flag 1163000/4832890 497.81/494.32 c cleaning 48001 clauses out of 96003 with flag 1212000/4881890 503.73/500.28 c cleaning 48997 clauses out of 98004 with flag 1262002/4931892 511.25/507.70 c cleaning 50003 clauses out of 100007 with flag 1313002/4982892 519.08/515.54 c cleaning 51000 clauses out of 102004 with flag 1365002/5034892 528.39/524.82 c cleaning 51999 clauses out of 104004 with flag 1418002/5087892 538.15/534.53 c cleaning 52991 clauses out of 106004 with flag 1472001/5141891 546.77/543.14 c cleaning 54001 clauses out of 108012 with flag 1527000/5196890 556.99/553.30 c cleaning 54996 clauses out of 110013 with flag 1583002/5252892 565.32/561.68 c cleaning 55999 clauses out of 112016 with flag 1640001/5309891 573.55/569.84 c cleaning 56998 clauses out of 114016 with flag 1698000/5367890 582.16/578.42 c cleaning 58004 clauses out of 116018 with flag 1757000/5426890 592.38/588.63 c cleaning 58999 clauses out of 118014 with flag 1817000/5486890 603.82/600.06 c cleaning 60006 clauses out of 120016 with flag 1878001/5547891 614.14/610.40 c cleaning 61004 clauses out of 122009 with flag 1940000/5609890 624.28/620.49 c cleaning 62000 clauses out of 124005 with flag 2003000/5672890 636.78/632.90 c cleaning 62994 clauses out of 126007 with flag 2067002/5736892 651.90/648.06 c cleaning 64001 clauses out of 128011 with flag 2132000/5801890 662.45/658.58 c cleaning 65004 clauses out of 130011 with flag 2198001/5867891 674.18/670.22 c cleaning 66004 clauses out of 132009 with flag 2265003/5934893 685.94/681.99 c cleaning 67000 clauses out of 134002 with flag 2333000/6002890 697.95/693.92 c cleaning 68000 clauses out of 136004 with flag 2402002/6071892 710.67/706.60 c cleaning 68994 clauses out of 138004 with flag 2472002/6141892 724.50/720.45 c cleaning 70003 clauses out of 140010 with flag 2543002/6212892 737.34/733.20 c cleaning 71001 clauses out of 142005 with flag 2615000/6284890 750.69/746.54 c cleaning 71996 clauses out of 144006 with flag 2688002/6357892 765.36/761.13 c cleaning 72999 clauses out of 146010 with flag 2762002/6431892 778.58/774.37 c cleaning 74000 clauses out of 148010 with flag 2837001/6506891 794.79/790.50 c cleaning 75003 clauses out of 150009 with flag 2913000/6582890 810.13/805.87 c cleaning 75996 clauses out of 152008 with flag 2990002/6659892 829.26/824.96 c cleaning 77004 clauses out of 154010 with flag 3068000/6737890 843.00/838.62 c cleaning 78001 clauses out of 156006 with flag 3147000/6816890 856.43/852.04 c cleaning 78994 clauses out of 158006 with flag 3227001/6896891 869.37/864.99 c cleaning 79999 clauses out of 160011 with flag 3308000/6977890 879.80/875.30 c cleaning 80993 clauses out of 162013 with flag 3390001/7059891 891.22/886.75 c cleaning 82006 clauses out of 164024 with flag 3473005/7142895 901.55/897.04 c cleaning 83005 clauses out of 166013 with flag 3557000/7226890 913.37/908.81 c cleaning 84004 clauses out of 168010 with flag 3642002/7311892 926.11/921.54 c cleaning 84997 clauses out of 170004 with flag 3728000/7397890 940.94/936.33 c cleaning 86005 clauses out of 172010 with flag 3815003/7484893 958.08/953.46 c cleaning 86995 clauses out of 174002 with flag 3903000/7572890 972.91/968.22 c cleaning 88000 clauses out of 176008 with flag 3992001/7661891 987.26/982.55 c cleaning 89002 clauses out of 178009 with flag 4082002/7751892 1002.00/997.26 c cleaning 89997 clauses out of 180010 with flag 4173005/7842895 1019.95/1015.11 c cleaning 90997 clauses out of 182008 with flag 4265000/7934890 1037.82/1032.98 c cleaning 92004 clauses out of 184012 with flag 4358001/8027891 1059.55/1054.68 c cleaning 93007 clauses out of 186013 with flag 4452006/8121896 1076.60/1071.66 c cleaning 94000 clauses out of 188000 with flag 4547000/8216890 1095.36/1090.39 c cleaning 94993 clauses out of 190001 with flag 4643001/8312891 1111.60/1106.51 c cleaning 96000 clauses out of 192009 with flag 4740002/8409892 1126.73/1121.66 c cleaning 96996 clauses out of 194007 with flag 4838000/8507890 1145.24/1140.18 c cleaning 98001 clauses out of 196011 with flag 4937000/8606890 1162.08/1156.95 c cleaning 99000 clauses out of 198010 with flag 5037000/8706890 1180.65/1175.42 c cleaning 100004 clauses out of 200011 with flag 5138001/8807891 1201.10/1195.82 c cleaning 100998 clauses out of 202006 with flag 5240000/8909890 1218.12/1212.89 c cleaning 102001 clauses out of 204009 with flag 5343001/9012891 1235.94/1230.64 c cleaning 103003 clauses out of 206009 with flag 5447002/9116892 1256.19/1250.83 c cleaning 103995 clauses out of 208004 with flag 5552000/9221890 1279.44/1274.01 c cleaning 105005 clauses out of 210010 with flag 5658001/9327891 1302.00/1296.57 c cleaning 105999 clauses out of 212005 with flag 5765001/9434891 1329.75/1324.23 c cleaning 107003 clauses out of 214008 with flag 5873003/9542893 1355.08/1349.55 c cleaning 107999 clauses out of 216004 with flag 5982002/9651892 1375.84/1370.26 c cleaning 109001 clauses out of 218005 with flag 6092002/9761892 1402.25/1396.63 c cleaning 109998 clauses out of 220002 with flag 6203000/9872890 1425.92/1420.28 c cleaning 110992 clauses out of 222005 with flag 6315001/9984891 1453.85/1448.10 c cleaning 112004 clauses out of 224013 with flag 6428001/10097891 1485.31/1479.52 c cleaning 113002 clauses out of 226008 with flag 6542000/10211890 1503.41/1497.64 c cleaning 114002 clauses out of 228009 with flag 6657003/10326893 1524.65/1518.87 c cleaning 114998 clauses out of 230004 with flag 6773000/10442890 1545.06/1539.28 c cleaning 115996 clauses out of 232008 with flag 6890002/10559892 1567.19/1561.32 c cleaning 117001 clauses out of 234013 with flag 7008003/10677893 1589.94/1584.09 c cleaning 117998 clauses out of 236009 with flag 7127000/10796890 1615.75/1609.84 c cleaning 118998 clauses out of 238012 with flag 7247001/10916891 1640.91/1634.98 c cleaning 120002 clauses out of 240015 with flag 7368002/11037892 1664.78/1658.72 c cleaning 121002 clauses out of 242013 with flag 7490002/11159892 1688.60/1682.57 c cleaning 122000 clauses out of 244010 with flag 7613001/11282891 1712.02/1705.95 c cleaning 122996 clauses out of 246010 with flag 7737001/11406891 1732.87/1726.77 c cleaning 124001 clauses out of 248014 with flag 7862001/11531891 1756.45/1750.24 c cleaning 125006 clauses out of 250018 with flag 7988006/11657896 1789.08/1782.80 c cleaning 125999 clauses out of 252007 with flag 8115001/11784891 1800.05/1793.71 c starts : 624 1800.05/1793.71 c conflicts : 11858336 1800.05/1793.71 c decisions : 12249549 1800.05/1793.71 c propagations : 101293323 1800.05/1793.71 c inspects : 21288889772 1800.05/1793.71 c shortcuts : 0 1800.05/1793.71 c learnt literals : 0 1800.05/1793.71 c learnt binary clauses : 0 1800.05/1793.71 c learnt ternary clauses : 0 1800.05/1793.71 c learnt constraints : 11858336 1800.05/1793.71 c ignored constraints : 0 1800.05/1793.71 c root simplifications : 624 1800.05/1793.71 c removed literals (reason simplification) : 86603853 1800.05/1793.71 c reason swapping (by a shorter reason) : 0 1800.05/1793.71 c Calls to reduceDB : 272 1800.05/1793.71 c number of reductions to clauses (during analyze) : 0 1800.05/1793.71 c number of learned constraints concerned by reduction : 0 1800.05/1793.71 c number of learning phase by resolution : 0 1800.05/1793.71 c number of learning phase by cutting planes : 0 1800.05/1793.71 c speed (assignments/second) : 56476.763830190575 1800.05/1793.71 c non guided choices 362 1800.05/1793.74 c learnt constraints type 1800.05/1793.74 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 199579 1800.05/1793.74 c constraints type 1800.05/1793.74 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15 1800.05/1793.74 c 15 constraints processed. 1800.05/1793.74 s SATISFIABLE 1800.05/1793.74 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 x147 -x148 x149 -x150 x151 x152 x153 -x154 x155 x156 -x157 x158 -x159 x160 -x161 x162 -x163 -x164 x165 x166 x167 -x168 -x169 x170 x171 -x172 1800.05/1793.74 c objective function=21 1800.05/1793.74 c Total wall clock time (in seconds): 1793.624
OK 21
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-3710836-1338155111/watcher-3710836-1338155111 -o /tmp/evaluation-result-3710836-1338155111/solver-3710836-1338155111 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710836-1338155111.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.02 2.00 3/194 6093 /proc/meminfo: memFree=28994088/32873648 swapFree=6864/6864 [pid=6093] ppid=6091 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/6093/stat : 6093 (java) D 6091 6093 32120 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 281636556 9515008 182 33554432000 1073741824 1073778376 140737331832384 140737331823416 270707539637 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/6093/statm: 2323 182 140 9 0 71 0 [startup+0.0589909 s] /proc/loadavg: 2.07 2.02 2.00 3/194 6093 /proc/meminfo: memFree=28994088/32873648 swapFree=6864/6864 [pid=6093] ppid=6091 vsize=9225560 CPUtime=0.03 cores=1,3,5,7 /proc/6093/stat : 6093 (java) S 6091 6093 32120 0 -1 4202496 3085 0 1 0 3 0 0 0 20 0 13 0 281636556 9446973440 4293 33554432000 1073741824 1073778376 140733280162032 140733280153168 270710898749 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/6093/statm: 2306390 4293 1709 9 0 2297091 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9225560 [startup+0.100257 s] /proc/loadavg: 2.07 2.02 2.00 3/194 6093 /proc/meminfo: memFree=28994088/32873648 swapFree=6864/6864 [pid=6093] ppid=6091 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/6093/stat : 6093 (java) S 6091 6093 32120 0 -1 4202496 4283 0 1 0 9 0 0 0 20 0 18 0 281636556 9787842560 5490 33554432000 1073741824 1073778376 140733280162032 140733280153168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/6093/statm: 2389610 5491 2115 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300224 s] /proc/loadavg: 2.07 2.02 2.00 3/194 6093 /proc/meminfo: memFree=28994088/32873648 swapFree=6864/6864 [pid=6093] ppid=6091 vsize=9625004 CPUtime=0.55 cores=1,3,5,7 /proc/6093/stat : 6093 (java) S 6091 6093 32120 0 -1 4202496 7093 0 1 0 54 1 0 0 20 0 19 0 281636556 9856004096 8785 33554432000 1073741824 1073778376 140733280162032 140733280153168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/6093/statm: 2406251 8785 2236 9 0 2396937 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9625004 [startup+0.700238 s] /proc/loadavg: 2.07 2.02 2.00 3/194 6093 /proc/meminfo: memFree=28994088/32873648 swapFree=6864/6864 [pid=6093] ppid=6091 vsize=9625004 CPUtime=1.29 cores=1,3,5,7 /proc/6093/stat : 6093 (java) S 6091 6093 32120 0 -1 4202496 10613 0 1 0 127 2 0 0 20 0 19 0 281636556 9856004096 12011 33554432000 1073741824 1073778376 140733280162032 140733280153168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/6093/statm: 2406251 12011 2252 9 0 2396937 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 9625004 [startup+1.50077 s] /proc/loadavg: 2.07 2.02 2.00 3/213 6112 /proc/meminfo: memFree=28950048/32873648 swapFree=6864/6864 [pid=6093] ppid=6091 vsize=9625004 CPUtime=2.19 cores=1,3,5,7 /proc/6093/stat : 6093 (java) S 6091 6093 32120 0 -1 4202496 10624 0 1 0 217 2 0 0 20 0 19 0 281636556 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140733280153168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/6093/statm: 2406251 14576 2256 9 0 2396937 0 [pid=6093/tid=6095] ppid=6091 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/6093/task/6095/stat : 6095 (java) R 6091 6093 32120 0 -1 4202560 2517 0 1 0 146 0 0 0 20 0 19 0 281636557 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711667233216 140711534561702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6096] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6096/stat : 6096 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711656303016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6097] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6097/stat : 6097 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711655250472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6098] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6098/stat : 6098 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711654197416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6093/tid=6099] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6099/stat : 6099 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711653144872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6100] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6100/stat : 6100 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711506426792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6101] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6101/stat : 6101 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711505374248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6102] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6102/stat : 6102 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711504321192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6103] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6103/stat : 6103 (java) S 6091 6093 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711503268648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6104] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6104/stat : 6104 (java) S 6091 6093 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711491070312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6105] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6105/stat : 6105 (java) S 6091 6093 32120 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711490016632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6106] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6106/stat : 6106 (java) S 6091 6093 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711488963464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6107] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6107/stat : 6107 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711487912208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6108] ppid=6091 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/6093/task/6108/stat : 6108 (java) S 6091 6093 32120 0 -1 4202560 2696 0 0 0 31 0 0 0 20 0 19 0 281636562 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711486860088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6109] ppid=6091 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/6093/task/6109/stat : 6109 (java) S 6091 6093 32120 0 -1 4202560 4217 0 0 0 38 0 0 0 20 0 19 0 281636562 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711485807544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6110] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6110/stat : 6110 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711484754680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6111] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6111/stat : 6111 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711483702344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6112] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6112/stat : 6112 (java) S 6091 6093 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636573 9856004096 14576 33554432000 1073741824 1073778376 140733280162032 140711482647592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 9625004 [startup+3.10055 s] /proc/loadavg: 2.07 2.02 2.00 3/213 6112 /proc/meminfo: memFree=28937256/32873648 swapFree=6864/6864 [pid=6093] ppid=6091 vsize=9625004 CPUtime=3.84 cores=1,3,5,7 /proc/6093/stat : 6093 (java) S 6091 6093 32120 0 -1 4202496 10688 0 1 0 381 3 0 0 20 0 19 0 281636556 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140733280153168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/6093/statm: 2406251 19743 2282 9 0 2396937 0 [pid=6093/tid=6095] ppid=6091 vsize=9625004 CPUtime=3.04 cores=1,3,5,7 /proc/6093/task/6095/stat : 6095 (java) R 6091 6093 32120 0 -1 4202560 2526 0 1 0 302 2 0 0 20 0 19 0 281636557 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711667233216 140711534445922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6096] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6096/stat : 6096 (java) S 6091 6093 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711656303016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6097] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6097/stat : 6097 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711655250472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6098] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6098/stat : 6098 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711654197416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6093/tid=6099] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6099/stat : 6099 (java) S 6091 6093 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711653144872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6100] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6100/stat : 6100 (java) S 6091 6093 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711506426792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6101] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6101/stat : 6101 (java) S 6091 6093 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711505374248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6102] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6102/stat : 6102 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711504321192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6103] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6103/stat : 6103 (java) S 6091 6093 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711503268648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6093/tid=6104] ppid=6091 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/6093/task/6104/stat : 6104 (java) S 6091 6093 32120 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 281636559 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711491070312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6105] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6105/stat : 6105 (java) S 6091 6093 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711490016632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6106] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6106/stat : 6106 (java) S 6091 6093 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711488963464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6107] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6107/stat : 6107 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711487912208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6108] ppid=6091 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/6093/task/6108/stat : 6108 (java) S 6091 6093 32120 0 -1 4202560 2700 0 0 0 34 0 0 0 20 0 19 0 281636562 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711486860088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6109] ppid=6091 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/6093/task/6109/stat : 6109 (java) S 6091 6093 32120 0 -1 4202560 4218 0 0 0 40 0 0 0 20 0 19 0 281636562 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711485807544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6110] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6110/stat : 6110 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711484754680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6111] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6111/stat : 6111 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711483702344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6112] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6112/stat : 6112 (java) S 6091 6093 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636573 9856004096 19743 33554432000 1073741824 1073778376 140733280162032 140711482647592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 9625004 [startup+6.30061 s] /proc/loadavg: 2.06 2.02 2.00 3/213 6112 /proc/meminfo: memFree=28920584/32873648 swapFree=6864/6864 [pid=6093] ppid=6091 vsize=9625004 CPUtime=7.08 cores=1,3,5,7 /proc/6093/stat : 6093 (java) S 6091 6093 32120 0 -1 4202496 10721 0 1 0 705 3 0 0 20 0 19 0 281636556 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140733280153168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/6093/statm: 2406251 20196 2283 9 0 2396937 0 [pid=6093/tid=6095] ppid=6091 vsize=9625004 CPUtime=6.16 cores=1,3,5,7 /proc/6093/task/6095/stat : 6095 (java) R 6091 6093 32120 0 -1 4202560 2532 0 1 0 614 2 0 0 20 0 19 0 281636557 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711667241248 140711534445498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6096] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6096/stat : 6096 (java) S 6091 6093 32120 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711656303016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6097] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6097/stat : 6097 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711655250472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6098] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6098/stat : 6098 (java) S 6091 6093 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711654197416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6099] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6099/stat : 6099 (java) S 6091 6093 32120 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711653144872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6100] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6100/stat : 6100 (java) S 6091 6093 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711506426792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6101] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6101/stat : 6101 (java) S 6091 6093 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711505374248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6102] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6102/stat : 6102 (java) S 6091 6093 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711504321192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6103] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6103/stat : 6103 (java) S 6091 6093 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636558 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711503268648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6093/tid=6104] ppid=6091 vsize=9625004 CPUtime=0.07 cores=1,3,5,7 /proc/6093/task/6104/stat : 6104 (java) S 6091 6093 32120 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 281636559 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711491070312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6105] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6105/stat : 6105 (java) S 6091 6093 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711490016632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6106] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6106/stat : 6106 (java) S 6091 6093 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711488963464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6107] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6107/stat : 6107 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711487912208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6108] ppid=6091 vsize=9625004 CPUtime=0.35 cores=1,3,5,7 /proc/6093/task/6108/stat : 6108 (java) S 6091 6093 32120 0 -1 4202560 2707 0 0 0 35 0 0 0 20 0 19 0 281636562 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711486860088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6109] ppid=6091 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/6093/task/6109/stat : 6109 (java) S 6091 6093 32120 0 -1 4202560 4218 0 0 0 40 0 0 0 20 0 19 0 281636562 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711485807544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6110] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6110/stat : 6110 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711484754680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6111] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6111/stat : 6111 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711483702344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6112] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6112/stat : 6112 (java) S 6091 6093 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636573 9856004096 20196 33554432000 1073741824 1073778376 140733280162032 140711482647592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.08 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=6093/tid=6101] ppid=6091 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/6093/task/6101/stat : 6101 (java) S 6091 6093 32120 0 -1 4202560 314 0 0 0 92 0 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711505374248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6102] ppid=6091 vsize=9625004 CPUtime=0.94 cores=1,3,5,7 /proc/6093/task/6102/stat : 6102 (java) S 6091 6093 32120 0 -1 4202560 268 0 0 0 92 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711504321192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6103] ppid=6091 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/6093/task/6103/stat : 6103 (java) S 6091 6093 32120 0 -1 4202560 178 0 0 0 90 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711503268648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6104] ppid=6091 vsize=9625004 CPUtime=7.05 cores=1,3,5,7 /proc/6093/task/6104/stat : 6104 (java) S 6091 6093 32120 0 -1 4202560 156 0 0 0 701 4 0 0 20 0 19 0 281636559 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711491070312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6105] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6105/stat : 6105 (java) S 6091 6093 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711490016632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6106] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6106/stat : 6106 (java) S 6091 6093 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711488963464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6107] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6107/stat : 6107 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711487912208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6108] ppid=6091 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/6093/task/6108/stat : 6108 (java) S 6091 6093 32120 0 -1 4202560 2707 0 0 0 36 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711486860088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6109] ppid=6091 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/6093/task/6109/stat : 6109 (java) S 6091 6093 32120 0 -1 4202560 4218 0 0 0 40 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711485807544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6110] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6110/stat : 6110 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711484754680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6111] ppid=6091 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/6093/task/6111/stat : 6111 (java) S 6091 6093 32120 0 -1 4202560 98 0 0 0 20 26 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711483702344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0 [pid=6093/tid=6112] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6112/stat : 6112 (java) S 6091 6093 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636573 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711482647592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1728.47 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 4/213 6220 /proc/meminfo: memFree=28192724/32873648 swapFree=6864/6864 [pid=6093] ppid=6091 vsize=9625004 CPUtime=1788.58 cores=1,3,5,7 /proc/6093/stat : 6093 (java) S 6091 6093 32120 0 -1 4202496 13314 0 1 0 178812 46 0 0 20 0 19 0 281636556 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140733280153168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/6093/statm: 2406251 43609 2283 9 0 2396937 0 [pid=6093/tid=6095] ppid=6091 vsize=9625004 CPUtime=1772.76 cores=1,3,5,7 /proc/6093/task/6095/stat : 6095 (java) R 6091 6093 32120 0 -1 4202560 2795 0 1 0 177246 30 0 0 20 0 19 0 281636557 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711667241248 140711534760063 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6096] ppid=6091 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/6093/task/6096/stat : 6096 (java) S 6091 6093 32120 0 -1 4202560 203 0 0 0 90 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711656303016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6097] ppid=6091 vsize=9625004 CPUtime=0.94 cores=1,3,5,7 /proc/6093/task/6097/stat : 6097 (java) S 6091 6093 32120 0 -1 4202560 274 0 0 0 92 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711655250472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6098] ppid=6091 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/6093/task/6098/stat : 6098 (java) S 6091 6093 32120 0 -1 4202560 378 0 0 0 84 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711654197416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6093/tid=6099] ppid=6091 vsize=9625004 CPUtime=0.95 cores=1,3,5,7 /proc/6093/task/6099/stat : 6099 (java) S 6091 6093 32120 0 -1 4202560 270 0 0 0 94 1 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711653144872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6093/tid=6100] ppid=6091 vsize=9625004 CPUtime=1.02 cores=1,3,5,7 /proc/6093/task/6100/stat : 6100 (java) S 6091 6093 32120 0 -1 4202560 268 0 0 0 101 1 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711506426792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6093/tid=6101] ppid=6091 vsize=9625004 CPUtime=0.93 cores=1,3,5,7 /proc/6093/task/6101/stat : 6101 (java) S 6091 6093 32120 0 -1 4202560 314 0 0 0 93 0 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711505374248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6102] ppid=6091 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/6093/task/6102/stat : 6102 (java) S 6091 6093 32120 0 -1 4202560 268 0 0 0 94 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711504321192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6103] ppid=6091 vsize=9625004 CPUtime=0.93 cores=1,3,5,7 /proc/6093/task/6103/stat : 6103 (java) S 6091 6093 32120 0 -1 4202560 178 0 0 0 91 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711503268648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6104] ppid=6091 vsize=9625004 CPUtime=7.15 cores=1,3,5,7 /proc/6093/task/6104/stat : 6104 (java) S 6091 6093 32120 0 -1 4202560 158 0 0 0 711 4 0 0 20 0 19 0 281636559 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711491070312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6105] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6105/stat : 6105 (java) S 6091 6093 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711490016632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6106] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6106/stat : 6106 (java) S 6091 6093 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711488963464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6107] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6107/stat : 6107 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711487912208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6108] ppid=6091 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/6093/task/6108/stat : 6108 (java) S 6091 6093 32120 0 -1 4202560 2707 0 0 0 36 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711486860088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6109] ppid=6091 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/6093/task/6109/stat : 6109 (java) S 6091 6093 32120 0 -1 4202560 4218 0 0 0 40 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711485807544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6110] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6110/stat : 6110 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711484754680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6111] ppid=6091 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/6093/task/6111/stat : 6111 (java) S 6091 6093 32120 0 -1 4202560 102 0 0 0 20 27 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711483702344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0 [pid=6093/tid=6112] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6112/stat : 6112 (java) S 6091 6093 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636573 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711482647592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.7 s] /proc/loadavg: 2.00 2.00 2.00 3/213 6220 /proc/meminfo: memFree=28192852/32873648 swapFree=6864/6864 [pid=6093] ppid=6091 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7 /proc/6093/stat : 6093 (java) S 6091 6093 32120 0 -1 4202496 13317 0 1 0 179959 46 0 0 20 0 19 0 281636556 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140733280153168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/6093/statm: 2406251 43609 2283 9 0 2396937 0 [pid=6093/tid=6095] ppid=6091 vsize=9625004 CPUtime=1784.07 cores=1,3,5,7 /proc/6093/task/6095/stat : 6095 (java) R 6091 6093 32120 0 -1 4202560 2796 0 1 0 178376 31 0 0 20 0 19 0 281636557 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711667241248 140711534459714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6096] ppid=6091 vsize=9625004 CPUtime=0.93 cores=1,3,5,7 /proc/6093/task/6096/stat : 6096 (java) S 6091 6093 32120 0 -1 4202560 203 0 0 0 91 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711656303016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6097] ppid=6091 vsize=9625004 CPUtime=0.95 cores=1,3,5,7 /proc/6093/task/6097/stat : 6097 (java) S 6091 6093 32120 0 -1 4202560 274 0 0 0 93 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711655250472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6098] ppid=6091 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/6093/task/6098/stat : 6098 (java) S 6091 6093 32120 0 -1 4202560 378 0 0 0 85 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711654197416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6099] ppid=6091 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/6093/task/6099/stat : 6099 (java) S 6091 6093 32120 0 -1 4202560 270 0 0 0 95 1 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711653144872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6100] ppid=6091 vsize=9625004 CPUtime=1.02 cores=1,3,5,7 /proc/6093/task/6100/stat : 6100 (java) S 6091 6093 32120 0 -1 4202560 268 0 0 0 101 1 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711506426792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6101] ppid=6091 vsize=9625004 CPUtime=0.94 cores=1,3,5,7 /proc/6093/task/6101/stat : 6101 (java) S 6091 6093 32120 0 -1 4202560 314 0 0 0 94 0 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711505374248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6102] ppid=6091 vsize=9625004 CPUtime=0.98 cores=1,3,5,7 /proc/6093/task/6102/stat : 6102 (java) S 6091 6093 32120 0 -1 4202560 268 0 0 0 96 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711504321192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6103] ppid=6091 vsize=9625004 CPUtime=0.94 cores=1,3,5,7 /proc/6093/task/6103/stat : 6103 (java) S 6091 6093 32120 0 -1 4202560 178 0 0 0 92 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711503268648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6104] ppid=6091 vsize=9625004 CPUtime=7.23 cores=1,3,5,7 /proc/6093/task/6104/stat : 6104 (java) S 6091 6093 32120 0 -1 4202560 160 0 0 0 719 4 0 0 20 0 19 0 281636559 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711491070312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6105] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6105/stat : 6105 (java) S 6091 6093 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711490016632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6106] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6106/stat : 6106 (java) S 6091 6093 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711488963464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6107] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6107/stat : 6107 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711487912208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6108] ppid=6091 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/6093/task/6108/stat : 6108 (java) S 6091 6093 32120 0 -1 4202560 2707 0 0 0 36 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711486860088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6109] ppid=6091 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/6093/task/6109/stat : 6109 (java) S 6091 6093 32120 0 -1 4202560 4218 0 0 0 40 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711485807544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6110] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6110/stat : 6110 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711484754680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6111] ppid=6091 vsize=9625004 CPUtime=0.49 cores=1,3,5,7 /proc/6093/task/6111/stat : 6111 (java) S 6091 6093 32120 0 -1 4202560 102 0 0 0 21 28 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711483702344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0 [pid=6093/tid=6112] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6112/stat : 6112 (java) S 6091 6093 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636573 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711482647592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 [startup+1793.7 s] /proc/loadavg: 2.00 2.00 2.00 3/213 6220 /proc/meminfo: memFree=28192852/32873648 swapFree=6864/6864 [pid=6093] ppid=6091 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7 /proc/6093/stat : 6093 (java) S 6091 6093 32120 0 -1 4202496 13317 0 1 0 179959 46 0 0 20 0 19 0 281636556 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140733280153168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/6093/statm: 2406251 43609 2283 9 0 2396937 0 [pid=6093/tid=6095] ppid=6091 vsize=9625004 CPUtime=1784.07 cores=1,3,5,7 /proc/6093/task/6095/stat : 6095 (java) R 6091 6093 32120 0 -1 4202560 2796 0 1 0 178376 31 0 0 20 0 19 0 281636557 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711667241248 140711534459714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6096] ppid=6091 vsize=9625004 CPUtime=0.93 cores=1,3,5,7 /proc/6093/task/6096/stat : 6096 (java) S 6091 6093 32120 0 -1 4202560 203 0 0 0 91 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711656303016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6097] ppid=6091 vsize=9625004 CPUtime=0.95 cores=1,3,5,7 /proc/6093/task/6097/stat : 6097 (java) S 6091 6093 32120 0 -1 4202560 274 0 0 0 93 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711655250472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6098] ppid=6091 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/6093/task/6098/stat : 6098 (java) S 6091 6093 32120 0 -1 4202560 378 0 0 0 85 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711654197416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6099] ppid=6091 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/6093/task/6099/stat : 6099 (java) S 6091 6093 32120 0 -1 4202560 270 0 0 0 95 1 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711653144872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6100] ppid=6091 vsize=9625004 CPUtime=1.02 cores=1,3,5,7 /proc/6093/task/6100/stat : 6100 (java) S 6091 6093 32120 0 -1 4202560 268 0 0 0 101 1 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711506426792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6101] ppid=6091 vsize=9625004 CPUtime=0.94 cores=1,3,5,7 /proc/6093/task/6101/stat : 6101 (java) S 6091 6093 32120 0 -1 4202560 314 0 0 0 94 0 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711505374248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6102] ppid=6091 vsize=9625004 CPUtime=0.98 cores=1,3,5,7 /proc/6093/task/6102/stat : 6102 (java) S 6091 6093 32120 0 -1 4202560 268 0 0 0 96 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711504321192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6103] ppid=6091 vsize=9625004 CPUtime=0.94 cores=1,3,5,7 /proc/6093/task/6103/stat : 6103 (java) S 6091 6093 32120 0 -1 4202560 178 0 0 0 92 2 0 0 20 0 19 0 281636558 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711503268648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6104] ppid=6091 vsize=9625004 CPUtime=7.23 cores=1,3,5,7 /proc/6093/task/6104/stat : 6104 (java) S 6091 6093 32120 0 -1 4202560 160 0 0 0 719 4 0 0 20 0 19 0 281636559 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711491070312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6093/tid=6105] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6105/stat : 6105 (java) S 6091 6093 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711490016632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6106] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6106/stat : 6106 (java) S 6091 6093 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281636559 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711488963464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6107] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6107/stat : 6107 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711487912208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6093/tid=6108] ppid=6091 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/6093/task/6108/stat : 6108 (java) S 6091 6093 32120 0 -1 4202560 2707 0 0 0 36 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711486860088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6109] ppid=6091 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/6093/task/6109/stat : 6109 (java) S 6091 6093 32120 0 -1 4202560 4218 0 0 0 40 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711485807544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6110] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6110/stat : 6110 (java) S 6091 6093 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711484754680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6093/tid=6111] ppid=6091 vsize=9625004 CPUtime=0.49 cores=1,3,5,7 /proc/6093/task/6111/stat : 6111 (java) S 6091 6093 32120 0 -1 4202560 102 0 0 0 21 28 0 0 20 0 19 0 281636562 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711483702344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0 [pid=6093/tid=6112] ppid=6091 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/6093/task/6112/stat : 6112 (java) S 6091 6093 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636573 9856004096 43609 33554432000 1073741824 1073778376 140733280162032 140711482647592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 9625004 Child status: 143 Real time (s): 1793.75 CPU time (s): 1800.5 CPU user time (s): 1799.61 CPU system time (s): 0.891864 CPU usage (%): 100.376 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.891864 maximum resident set size= 174588 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13357 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= 45468 involuntary context switches= 24445 runsolver used 6.28104 second user time and 14.4018 second system time The end
Begin job on node125 at 2012-05-27 23:45:11 IDJOB=3710836 IDBENCH=2932 IDSOLVER=2289 FILE ID=node125/3710836-1338155111 RUNJOBID= node125-1338125514-32137 PBS_JOBID= 14624515 Free space on /tmp= 71260 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_7_60_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-3710836-1338155111/watcher-3710836-1338155111 -o /tmp/evaluation-result-3710836-1338155111/solver-3710836-1338155111 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710836-1338155111.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED=269642345 node125.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 : 2666.373 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 : 5332.74 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 : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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.90 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 : 2666.373 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 : 2666.373 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 : 5438.54 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 : 2666.373 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 : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28994616 kB Buffers: 456804 kB Cached: 2435916 kB SwapCached: 2304 kB Active: 1526184 kB Inactive: 1500316 kB Active(anon): 125568 kB Inactive(anon): 9556 kB Active(file): 1400616 kB Inactive(file): 1490760 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67102616 kB Dirty: 884 kB Writeback: 0 kB AnonPages: 147600 kB Mapped: 22484 kB Shmem: 104 kB Slab: 703816 kB SReclaimable: 147528 kB SUnreclaim: 556288 kB KernelStack: 1608 kB PageTables: 4500 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 700700 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71212 MiB End job on node125 at 2012-05-28 00:15:07