Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 387 | 1800.61 | 1796.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 17 |
Best CPU time to get the best result obtained on this benchmark | 1802.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 32 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
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 | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1884 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6162 |
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.08/0.34 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.08/0.34 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.34 c See www.sat4j.org for details. 0.08/0.35 c version 2.1.1.v20090612 0.08/0.35 c sun.arch.data.model 32 0.08/0.35 c java.version 1.6.0_12 0.08/0.35 c os.name Linux 0.08/0.35 c os.version 2.6.9-22.EL.rootsmp 0.08/0.35 c os.arch i386 0.08/0.35 c Free memory 1342000320 0.08/0.35 c Max memory 1344274432 0.08/0.35 c Total memory 1344274432 0.08/0.35 c Number of processors 2 0.22/0.42 c Pseudo Boolean Optimization 0.22/0.42 c --- Begin Solver configuration --- 0.22/0.42 c Stops conflict analysis at the first Unique Implication Point 0.22/0.42 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.22/0.42 c Learn all clauses as in MiniSAT 0.22/0.42 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.42 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.42 c Expensive reason simplification 0.22/0.42 c MiniSAT restarts strategy 0.22/0.42 c Memory based learned constraints deletion strategy 0.22/0.42 c timeout=2147483s 0.22/0.42 c DB Simplification allowed=false 0.22/0.42 c --- End Solver configuration --- 0.22/0.42 c solving HOME/instance-1856717-1244922385.opb 0.22/0.42 c reading problem ... 0.32/0.55 c ... done. Wall clock time 0.135s. 0.32/0.55 c #vars 198 0.32/0.55 c #constraints 16 0.32/0.55 c constraints type 0.32/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPb => 16 0.88/0.87 c SATISFIABLE 0.88/0.87 c OPTIMIZING... 0.88/0.87 c Got one! Elapsed wall clock time (in seconds):0.453 0.88/0.87 o 2910 1.05/0.92 c Got one! Elapsed wall clock time (in seconds):0.504 1.05/0.92 o 2909 1.05/0.98 c Got one! Elapsed wall clock time (in seconds):0.563 1.05/0.98 o 2762 1.19/1.04 c Got one! Elapsed wall clock time (in seconds):0.622 1.19/1.04 o 2761 1.19/1.08 c Got one! Elapsed wall clock time (in seconds):0.66 1.19/1.08 o 1845 1.31/1.16 c Got one! Elapsed wall clock time (in seconds):0.743 1.31/1.16 o 1830 1.42/1.22 c Got one! Elapsed wall clock time (in seconds):0.805 1.42/1.22 o 1643 1.42/1.29 c Got one! Elapsed wall clock time (in seconds):0.871 1.42/1.29 o 1575 1.52/1.33 c Got one! Elapsed wall clock time (in seconds):0.913 1.52/1.33 o 1570 1.52/1.39 c Got one! Elapsed wall clock time (in seconds):0.974 1.52/1.39 o 1569 1.70/1.46 c Got one! Elapsed wall clock time (in seconds):1.047 1.70/1.47 o 1564 1.89/1.58 c Got one! Elapsed wall clock time (in seconds):1.163 1.89/1.58 o 1493 2.10/1.63 c Got one! Elapsed wall clock time (in seconds):1.216 2.10/1.63 o 1492 2.30/1.73 c Got one! Elapsed wall clock time (in seconds):1.312 2.30/1.73 o 1491 2.50/1.86 c Got one! Elapsed wall clock time (in seconds):1.441 2.50/1.86 o 1489 2.69/1.92 c Got one! Elapsed wall clock time (in seconds):1.507 2.69/1.93 o 1076 2.69/1.99 c Got one! Elapsed wall clock time (in seconds):1.57 2.69/1.99 o 1075 2.87/2.08 c Got one! Elapsed wall clock time (in seconds):1.665 2.87/2.08 o 1073 2.98/2.16 c Got one! Elapsed wall clock time (in seconds):1.741 2.98/2.16 o 1072 3.11/2.25 c Got one! Elapsed wall clock time (in seconds):1.829 3.11/2.25 o 1070 3.44/2.49 c Got one! Elapsed wall clock time (in seconds):2.068 3.44/2.49 o 1069 3.54/2.54 c Got one! Elapsed wall clock time (in seconds):2.12 3.54/2.54 o 1067 3.64/2.61 c Got one! Elapsed wall clock time (in seconds):2.189 3.64/2.61 o 1062 3.64/2.68 c Got one! Elapsed wall clock time (in seconds):2.266 3.64/2.68 o 1060 3.76/2.76 c Got one! Elapsed wall clock time (in seconds):2.338 3.76/2.76 o 1055 3.88/2.83 c Got one! Elapsed wall clock time (in seconds):2.413 3.88/2.83 o 1053 3.99/2.97 c Got one! Elapsed wall clock time (in seconds):2.548 3.99/2.97 o 1049 4.08/3.05 c Got one! Elapsed wall clock time (in seconds):2.627 4.08/3.05 o 1048 4.20/3.11 c Got one! Elapsed wall clock time (in seconds):2.692 4.20/3.11 o 922 4.20/3.19 c Got one! Elapsed wall clock time (in seconds):2.771 4.20/3.19 o 921 4.32/3.27 c Got one! Elapsed wall clock time (in seconds):2.85 4.32/3.27 o 920 4.42/3.33 c Got one! Elapsed wall clock time (in seconds):2.916 4.42/3.33 o 918 4.55/3.43 c Got one! Elapsed wall clock time (in seconds):3.008 4.55/3.43 o 916 4.65/3.55 c Got one! Elapsed wall clock time (in seconds):3.133 4.65/3.55 o 878 4.75/3.61 c Got one! Elapsed wall clock time (in seconds):3.189 4.75/3.61 o 876 4.75/3.66 c Got one! Elapsed wall clock time (in seconds):3.241 4.75/3.66 o 875 4.85/3.72 c Got one! Elapsed wall clock time (in seconds):3.297 4.85/3.72 o 874 4.85/3.78 c Got one! Elapsed wall clock time (in seconds):3.363 4.85/3.78 o 872 4.96/3.87 c Got one! Elapsed wall clock time (in seconds):3.447 4.96/3.87 o 804 5.15/3.94 c Got one! Elapsed wall clock time (in seconds):3.525 5.15/3.94 o 803 5.25/4.01 c Got one! Elapsed wall clock time (in seconds):3.59 5.25/4.01 o 802 5.25/4.07 c Got one! Elapsed wall clock time (in seconds):3.649 5.25/4.07 o 782 5.35/4.14 c Got one! Elapsed wall clock time (in seconds):3.726 5.35/4.14 o 781 5.45/4.24 c Got one! Elapsed wall clock time (in seconds):3.821 5.45/4.24 o 779 5.56/4.33 c Got one! Elapsed wall clock time (in seconds):3.912 5.56/4.33 o 777 5.66/4.41 c Got one! Elapsed wall clock time (in seconds):3.987 5.66/4.41 o 775 5.66/4.47 c Got one! Elapsed wall clock time (in seconds):4.056 5.66/4.47 o 773 5.75/4.55 c Got one! Elapsed wall clock time (in seconds):4.131 5.75/4.55 o 771 5.85/4.62 c Got one! Elapsed wall clock time (in seconds):4.202 5.85/4.62 o 741 5.85/4.69 c Got one! Elapsed wall clock time (in seconds):4.276 5.85/4.69 o 739 5.95/4.80 c Got one! Elapsed wall clock time (in seconds):4.38 5.95/4.80 o 738 6.06/4.88 c Got one! Elapsed wall clock time (in seconds):4.462 6.06/4.88 o 736 6.18/4.96 c Got one! Elapsed wall clock time (in seconds):4.545 6.18/4.96 o 735 6.28/5.03 c Got one! Elapsed wall clock time (in seconds):4.614 6.28/5.03 o 732 6.38/5.12 c Got one! Elapsed wall clock time (in seconds):4.699 6.38/5.12 o 730 6.38/5.18 c Got one! Elapsed wall clock time (in seconds):4.761 6.38/5.18 o 729 6.48/5.26 c Got one! Elapsed wall clock time (in seconds):4.844 6.48/5.26 o 728 6.80/5.56 c Got one! Elapsed wall clock time (in seconds):5.146 6.80/5.56 o 726 7.19/5.93 c Got one! Elapsed wall clock time (in seconds):5.508 7.19/5.93 o 725 7.29/6.00 c Got one! Elapsed wall clock time (in seconds):5.583 7.29/6.00 o 724 7.49/6.22 c Got one! Elapsed wall clock time (in seconds):5.807 7.49/6.22 o 723 7.59/6.34 c Got one! Elapsed wall clock time (in seconds):5.926 7.59/6.34 o 717 7.69/6.44 c Got one! Elapsed wall clock time (in seconds):6.025 7.69/6.44 o 715 7.79/6.55 c Got one! Elapsed wall clock time (in seconds):6.133 7.79/6.55 o 714 7.89/6.65 c Got one! Elapsed wall clock time (in seconds):6.23 7.89/6.65 o 713 7.99/6.76 c Got one! Elapsed wall clock time (in seconds):6.344 7.99/6.76 o 711 8.08/6.87 c Got one! Elapsed wall clock time (in seconds):6.455 8.08/6.87 o 710 8.28/7.00 c Got one! Elapsed wall clock time (in seconds):6.58 8.28/7.00 o 708 8.39/7.13 c Got one! Elapsed wall clock time (in seconds):6.713 8.39/7.13 o 707 8.60/7.36 c Got one! Elapsed wall clock time (in seconds):6.94 8.60/7.36 o 704 8.70/7.45 c Got one! Elapsed wall clock time (in seconds):7.03 8.70/7.45 o 702 8.80/7.56 c Got one! Elapsed wall clock time (in seconds):7.142 8.80/7.56 o 700 8.91/7.66 c Got one! Elapsed wall clock time (in seconds):7.245 8.91/7.66 o 699 9.01/7.77 c Got one! Elapsed wall clock time (in seconds):7.355 9.01/7.79 o 697 9.33/8.05 c Got one! Elapsed wall clock time (in seconds):7.63 9.33/8.05 o 695 9.55/8.26 c Got one! Elapsed wall clock time (in seconds):7.841 9.55/8.26 o 694 9.75/8.48 c Got one! Elapsed wall clock time (in seconds):8.062 9.75/8.48 o 693 10.05/8.76 c Got one! Elapsed wall clock time (in seconds):8.34 10.05/8.76 o 689 10.15/8.86 c Got one! Elapsed wall clock time (in seconds):8.438 10.15/8.86 o 687 10.26/8.98 c Got one! Elapsed wall clock time (in seconds):8.56 10.26/8.98 o 686 10.37/9.09 c Got one! Elapsed wall clock time (in seconds):8.676 10.37/9.09 o 685 10.57/9.21 c Got one! Elapsed wall clock time (in seconds):8.792 10.57/9.21 o 683 10.67/9.33 c Got one! Elapsed wall clock time (in seconds):8.913 10.67/9.33 o 681 11.28/9.92 c Got one! Elapsed wall clock time (in seconds):9.497 11.28/9.92 o 680 11.37/10.06 c Got one! Elapsed wall clock time (in seconds):9.638 11.37/10.06 o 679 11.67/10.32 c Got one! Elapsed wall clock time (in seconds):9.903 11.67/10.32 o 677 11.77/10.47 c Got one! Elapsed wall clock time (in seconds):10.05 11.77/10.47 o 576 12.29/10.92 c Got one! Elapsed wall clock time (in seconds):10.506 12.29/10.92 o 574 12.48/11.15 c Got one! Elapsed wall clock time (in seconds):10.727 12.48/11.15 o 572 12.91/11.52 c Got one! Elapsed wall clock time (in seconds):11.101 12.91/11.52 o 570 13.01/11.66 c Got one! Elapsed wall clock time (in seconds):11.245 13.01/11.66 o 569 13.51/12.12 c Got one! Elapsed wall clock time (in seconds):11.705 13.51/12.12 o 568 15.21/13.89 c Got one! Elapsed wall clock time (in seconds):13.47 15.21/13.89 o 567 16.15/14.73 c Got one! Elapsed wall clock time (in seconds):14.309 16.15/14.73 o 565 16.55/15.13 c Got one! Elapsed wall clock time (in seconds):14.714 16.55/15.13 o 563 16.76/15.32 c Got one! Elapsed wall clock time (in seconds):14.899 16.76/15.32 o 562 17.45/16.04 c Got one! Elapsed wall clock time (in seconds):15.621 17.45/16.04 o 560 17.65/16.25 c Got one! Elapsed wall clock time (in seconds):15.836 17.65/16.25 o 559 18.85/17.48 c Got one! Elapsed wall clock time (in seconds):17.062 18.85/17.48 o 557 19.15/17.77 c Got one! Elapsed wall clock time (in seconds):17.35 19.15/17.77 o 555 19.49/18.03 c Got one! Elapsed wall clock time (in seconds):17.615 19.49/18.03 o 551 19.89/18.47 c Got one! Elapsed wall clock time (in seconds):18.057 19.89/18.47 o 550 21.19/19.75 c Got one! Elapsed wall clock time (in seconds):19.337 21.19/19.75 o 548 22.83/21.34 c Got one! Elapsed wall clock time (in seconds):20.926 22.83/21.34 o 547 23.04/21.57 c Got one! Elapsed wall clock time (in seconds):21.15 23.04/21.57 o 546 23.44/21.92 c Got one! Elapsed wall clock time (in seconds):21.503 23.44/21.92 o 545 23.94/22.48 c Got one! Elapsed wall clock time (in seconds):22.059 23.94/22.48 o 541 25.24/23.71 c Got one! Elapsed wall clock time (in seconds):23.296 25.24/23.71 o 540 26.57/25.06 c Got one! Elapsed wall clock time (in seconds):24.646 26.57/25.06 o 539 26.88/25.31 c Got one! Elapsed wall clock time (in seconds):24.891 26.88/25.31 o 538 27.07/25.54 c Got one! Elapsed wall clock time (in seconds):25.119 27.07/25.54 o 537 27.67/26.10 c Got one! Elapsed wall clock time (in seconds):25.682 27.67/26.10 o 536 29.87/28.36 c Got one! Elapsed wall clock time (in seconds):27.944 29.87/28.36 o 535 31.62/30.08 c Got one! Elapsed wall clock time (in seconds):29.666 31.62/30.08 o 533 32.22/30.66 c Got one! Elapsed wall clock time (in seconds):30.24 32.22/30.66 o 532 32.52/30.93 c Got one! Elapsed wall clock time (in seconds):30.515 32.52/30.93 o 530 34.42/32.88 c Got one! Elapsed wall clock time (in seconds):32.46 34.42/32.88 o 529 34.95/33.37 c Got one! Elapsed wall clock time (in seconds):32.953 34.95/33.37 o 526 35.25/33.69 c Got one! Elapsed wall clock time (in seconds):33.267 35.25/33.69 o 524 35.75/34.10 c Got one! Elapsed wall clock time (in seconds):33.685 35.75/34.10 o 522 36.05/34.43 c Got one! Elapsed wall clock time (in seconds):34.011 36.05/34.43 o 521 39.87/38.23 c Got one! Elapsed wall clock time (in seconds):37.813 39.87/38.23 o 520 40.47/38.90 c Got one! Elapsed wall clock time (in seconds):38.479 40.47/38.90 o 518 40.87/39.22 c Got one! Elapsed wall clock time (in seconds):38.801 40.87/39.22 o 506 41.97/40.34 c Got one! Elapsed wall clock time (in seconds):39.922 41.97/40.34 o 502 42.37/40.76 c Got one! Elapsed wall clock time (in seconds):40.344 42.37/40.76 o 501 46.19/44.53 c Got one! Elapsed wall clock time (in seconds):44.11 46.19/44.53 o 500 47.09/45.42 c Got one! Elapsed wall clock time (in seconds):44.999 47.09/45.42 o 499 47.39/45.76 c Got one! Elapsed wall clock time (in seconds):45.345 47.39/45.76 o 497 49.89/48.23 c Got one! Elapsed wall clock time (in seconds):47.81 49.89/48.23 o 495 50.29/48.64 c Got one! Elapsed wall clock time (in seconds):48.222 50.29/48.64 o 493 51.51/49.88 c Got one! Elapsed wall clock time (in seconds):49.463 51.51/49.88 o 491 52.61/50.96 c Got one! Elapsed wall clock time (in seconds):50.541 52.61/50.96 o 489 54.21/52.53 c Got one! Elapsed wall clock time (in seconds):52.114 54.21/52.53 o 488 54.61/52.95 c Got one! Elapsed wall clock time (in seconds):52.537 54.61/52.95 o 487 55.81/54.19 c Got one! Elapsed wall clock time (in seconds):53.777 55.81/54.19 o 485 57.73/56.03 c Got one! Elapsed wall clock time (in seconds):55.61 57.73/56.03 o 483 58.32/56.63 c Got one! Elapsed wall clock time (in seconds):56.213 58.32/56.63 o 482 59.22/57.53 c Got one! Elapsed wall clock time (in seconds):57.109 59.22/57.53 o 481 59.72/58.03 c Got one! Elapsed wall clock time (in seconds):57.613 59.72/58.03 o 480 60.32/58.63 c Got one! Elapsed wall clock time (in seconds):58.216 60.32/58.63 o 478 74.37/72.63 c Got one! Elapsed wall clock time (in seconds):72.213 74.37/72.63 o 476 81.29/79.59 c Got one! Elapsed wall clock time (in seconds):79.174 81.29/79.59 o 475 84.39/82.63 c Got one! Elapsed wall clock time (in seconds):82.211 84.39/82.63 o 473 86.09/84.35 c Got one! Elapsed wall clock time (in seconds):83.933 86.09/84.35 o 472 87.29/85.52 c Got one! Elapsed wall clock time (in seconds):85.106 87.29/85.52 o 471 87.89/86.13 c Got one! Elapsed wall clock time (in seconds):85.708 87.89/86.13 o 470 90.71/88.93 c Got one! Elapsed wall clock time (in seconds):88.517 90.71/88.93 o 468 131.89/130.02 c Got one! Elapsed wall clock time (in seconds):129.604 131.89/130.02 o 467 134.80/132.97 c Got one! Elapsed wall clock time (in seconds):132.55 134.80/132.97 o 466 137.10/135.29 c Got one! Elapsed wall clock time (in seconds):134.871 137.10/135.29 o 465 141.12/139.25 c Got one! Elapsed wall clock time (in seconds):138.832 141.12/139.25 o 464 251.17/249.06 c Got one! Elapsed wall clock time (in seconds):248.639 251.17/249.06 o 463 252.67/250.51 c Got one! Elapsed wall clock time (in seconds):250.094 252.67/250.51 o 461 254.37/252.20 c Got one! Elapsed wall clock time (in seconds):251.781 254.37/252.20 o 459 255.77/253.60 c Got one! Elapsed wall clock time (in seconds):253.182 255.77/253.60 o 458 258.70/256.58 c Got one! Elapsed wall clock time (in seconds):256.162 258.70/256.58 o 456 268.40/266.28 c Got one! Elapsed wall clock time (in seconds):265.865 268.40/266.28 o 455 271.50/269.31 c Got one! Elapsed wall clock time (in seconds):268.894 271.50/269.31 o 453 272.60/270.44 c Got one! Elapsed wall clock time (in seconds):270.02 272.60/270.44 o 451 274.20/272.09 c Got one! Elapsed wall clock time (in seconds):271.677 274.20/272.09 o 450 284.13/281.92 c Got one! Elapsed wall clock time (in seconds):281.499 284.13/281.92 o 449 292.23/290.05 c Got one! Elapsed wall clock time (in seconds):289.635 292.23/290.05 o 447 297.03/294.80 c Got one! Elapsed wall clock time (in seconds):294.386 297.03/294.80 o 445 301.46/299.27 c Got one! Elapsed wall clock time (in seconds):298.854 301.46/299.27 o 444 302.66/300.46 c Got one! Elapsed wall clock time (in seconds):300.041 302.66/300.46 o 443 306.65/304.46 c Got one! Elapsed wall clock time (in seconds):304.043 306.65/304.46 o 442 322.08/319.88 c Got one! Elapsed wall clock time (in seconds):319.459 322.08/319.88 o 440 327.68/325.47 c Got one! Elapsed wall clock time (in seconds):325.049 327.68/325.47 o 439 333.38/331.20 c Got one! Elapsed wall clock time (in seconds):330.778 333.38/331.20 o 432 345.70/343.47 c Got one! Elapsed wall clock time (in seconds):343.051 345.70/343.47 o 430 359.09/356.82 c Got one! Elapsed wall clock time (in seconds):356.4 359.09/356.82 o 428 423.19/420.88 c Got one! Elapsed wall clock time (in seconds):420.463 423.19/420.88 o 426 429.39/427.00 c Got one! Elapsed wall clock time (in seconds):426.585 429.39/427.00 o 425 447.22/444.86 c Got one! Elapsed wall clock time (in seconds):444.44 447.22/444.86 o 423 473.15/470.74 c Got one! Elapsed wall clock time (in seconds):470.324 473.15/470.74 o 422 490.57/488.13 c Got one! Elapsed wall clock time (in seconds):487.716 490.57/488.13 o 421 492.07/489.64 c Got one! Elapsed wall clock time (in seconds):489.221 492.07/489.64 o 420 501.51/499.05 c Got one! Elapsed wall clock time (in seconds):498.636 501.51/499.05 o 419 530.23/527.79 c Got one! Elapsed wall clock time (in seconds):527.375 530.23/527.79 o 418 545.72/543.23 c Got one! Elapsed wall clock time (in seconds):542.811 545.72/543.23 o 416 550.56/548.00 c Got one! Elapsed wall clock time (in seconds):547.583 550.56/548.00 o 414 559.86/557.38 c Got one! Elapsed wall clock time (in seconds):556.96 559.86/557.38 o 413 582.58/580.09 c Got one! Elapsed wall clock time (in seconds):579.674 582.58/580.09 o 409 621.00/618.43 c Got one! Elapsed wall clock time (in seconds):618.017 621.00/618.43 o 407 623.30/620.73 c Got one! Elapsed wall clock time (in seconds):620.314 623.30/620.73 o 406 628.23/625.64 c Got one! Elapsed wall clock time (in seconds):625.224 628.23/625.64 o 404 788.95/786.20 c Got one! Elapsed wall clock time (in seconds):785.779 788.95/786.20 o 403 820.78/817.94 c Got one! Elapsed wall clock time (in seconds):817.526 820.78/817.94 o 401 827.08/824.24 c Got one! Elapsed wall clock time (in seconds):823.827 827.08/824.24 o 399 911.25/908.30 c Got one! Elapsed wall clock time (in seconds):907.883 911.25/908.30 o 397 946.39/943.44 c Got one! Elapsed wall clock time (in seconds):943.019 946.39/943.44 o 395 964.39/961.42 c Got one! Elapsed wall clock time (in seconds):961.002 964.39/961.42 o 394 973.92/970.96 c Got one! Elapsed wall clock time (in seconds):970.539 973.92/970.96 o 393 990.41/987.48 c Got one! Elapsed wall clock time (in seconds):987.067 990.41/987.48 o 391 1042.68/1039.66 c Got one! Elapsed wall clock time (in seconds):1039.246 1042.68/1039.66 o 389 1061.28/1058.27 c Got one! Elapsed wall clock time (in seconds):1057.852 1061.28/1058.27 o 387 1800.09/1796.25 c starts : 1036 1800.09/1796.25 c conflicts : 1044261 1800.09/1796.25 c decisions : 1328099 1800.09/1796.25 c propagations : 20875495 1800.09/1796.25 c inspects : 4356771858 1800.09/1796.25 c learnt literals : 0 1800.09/1796.25 c learnt binary clauses : 0 1800.09/1796.25 c learnt ternary clauses : 0 1800.09/1796.25 c learnt clauses : 1044262 1800.09/1796.25 c ignored clauses : 0 1800.09/1796.25 c root simplifications : 0 1800.09/1796.25 c removed literals (reason simplification) : 14900761 1800.09/1796.25 c reason swapping (by a shorter reason) : 0 1800.09/1796.25 c Calls to reduceDB : 0 1800.09/1796.25 c speed (assignments/second) : 28287.351960757744 1800.09/1796.25 c non guided choices 5921 1800.46/1796.42 c learnt constraints type 1800.46/1796.42 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 1044301 1800.46/1796.42 c constraints type 1800.46/1796.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 17 1800.46/1796.42 s SATISFIABLE 1800.46/1796.42 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 -x173 -x174 x175 x176 -x177 x178 x179 x180 x181 x182 -x183 -x184 -x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 x198 1800.46/1796.42 c objective function=387 1800.46/1796.42 c Total wall clock time (in seconds): 1796.002
OK 387
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856717-1244922385/watcher-1856717-1244922385 -o /tmp/evaluation-result-1856717-1244922385/solver-1856717-1244922385 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856717-1244922385.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/64 9279 /proc/meminfo: memFree=1307824/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=152 CPUtime=0 /proc/9279/stat : 9279 (java6) D 9277 9279 9107 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 159835228 155648 26 1992294400 134512640 134550932 4294956176 18446744073709551615 11281188 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0 /proc/9279/statm: 38 26 19 9 0 4 0 [startup+0.0956829 s] /proc/loadavg: 0.92 0.98 0.99 2/64 9279 /proc/meminfo: memFree=1307824/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=13296 CPUtime=0 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 794 0 0 0 0 0 0 0 18 0 2 0 159835228 13615104 575 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 3324 575 258 9 0 1198 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13296 [startup+0.101679 s] /proc/loadavg: 0.92 0.98 0.99 2/64 9279 /proc/meminfo: memFree=1307824/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=13296 CPUtime=0 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 794 0 0 0 0 0 0 0 18 0 2 0 159835228 13615104 575 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 3324 575 258 9 0 1198 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13296 [startup+0.301726 s] /proc/loadavg: 0.92 0.98 0.99 2/64 9279 /proc/meminfo: memFree=1307824/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=1472584 CPUtime=0.08 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 3601 0 1 0 6 2 0 0 18 0 12 0 159835228 1507926016 3344 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 368146 3344 1066 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.701797 s] /proc/loadavg: 0.92 0.98 0.99 2/64 9279 /proc/meminfo: memFree=1307824/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=1478876 CPUtime=0.7 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 6503 0 1 0 67 3 0 0 18 0 13 0 159835228 1514369024 5886 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 369719 5892 1402 9 0 367062 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 1478876 [startup+1.50294 s] /proc/loadavg: 0.92 0.98 0.99 3/77 9292 /proc/meminfo: memFree=1283784/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=1482536 CPUtime=1.89 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 15482 0 1 0 182 7 0 0 18 0 13 0 159835228 1518116864 14195 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 370634 14196 1414 9 0 367977 0 [pid=9279/tid=9281] ppid=9277 vsize=1482536 CPUtime=1.01 /proc/9279/task/9281/stat : 9281 (java) R 9277 9279 9107 0 -1 64 11329 0 1 0 96 5 0 0 18 0 13 0 159835230 1518116864 14196 1992294400 134512640 134550932 4294956016 18446744073709551615 4109161384 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9282] ppid=9277 vsize=1482536 CPUtime=0 /proc/9279/task/9282/stat : 9282 (java) S 9277 9279 9107 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 159835251 1518116864 14196 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9283] ppid=9277 vsize=1482536 CPUtime=0 /proc/9279/task/9283/stat : 9283 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 159835251 1518116864 14197 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9284] ppid=9277 vsize=1482536 CPUtime=0 /proc/9279/task/9284/stat : 9284 (java) S 9277 9279 9107 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 159835253 1518116864 14197 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9285] ppid=9277 vsize=1482536 CPUtime=0 /proc/9279/task/9285/stat : 9285 (java) S 9277 9279 9107 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 159835253 1518116864 14198 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9286] ppid=9277 vsize=1482536 CPUtime=0 /proc/9279/task/9286/stat : 9286 (java) S 9277 9279 9107 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 159835253 1518116864 14198 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9287] ppid=9277 vsize=1482536 CPUtime=0 /proc/9279/task/9287/stat : 9287 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159835258 1518116864 14199 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9288] ppid=9277 vsize=1482536 CPUtime=0.4 /proc/9279/task/9288/stat : 9288 (java) S 9277 9279 9107 0 -1 64 1328 0 0 0 40 0 0 0 16 0 13 0 159835258 1518116864 14200 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9289] ppid=9277 vsize=1482536 CPUtime=0.46 /proc/9279/task/9289/stat : 9289 (java) R 9277 9279 9107 0 -1 64 2078 0 0 0 46 0 0 0 18 0 13 0 159835258 1518116864 14201 1992294400 134512640 134550932 4294956016 18446744073709551615 106251816 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9290] ppid=9277 vsize=1482536 CPUtime=0 /proc/9279/task/9290/stat : 9290 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159835258 1518116864 14201 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9291] ppid=9277 vsize=1482536 CPUtime=0 /proc/9279/task/9291/stat : 9291 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159835258 1518116864 14203 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9292] ppid=9277 vsize=1482536 CPUtime=0 /proc/9279/task/9292/stat : 9292 (java) S 9277 9279 9107 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 159835285 1518116864 14204 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.89 Current children cumulated vsize (KiB) 1482536 [startup+3.10123 s] /proc/loadavg: 0.92 0.98 0.99 2/77 9292 /proc/meminfo: memFree=1225864/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=1488612 CPUtime=4.2 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 39318 0 1 0 403 17 0 0 18 0 13 0 159835228 1524338688 34160 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 372153 34160 1423 9 0 369496 0 [pid=9279/tid=9281] ppid=9277 vsize=1488612 CPUtime=2.41 /proc/9279/task/9281/stat : 9281 (java) R 9277 9279 9107 0 -1 64 29538 0 1 0 229 12 0 0 24 0 13 0 159835230 1524338688 34160 1992294400 134512640 134550932 4294956016 18446744073709551615 4109475776 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9282] ppid=9277 vsize=1488612 CPUtime=0 /proc/9279/task/9282/stat : 9282 (java) S 9277 9279 9107 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 159835251 1524338688 34161 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9283] ppid=9277 vsize=1488612 CPUtime=0 /proc/9279/task/9283/stat : 9283 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 159835251 1524338688 34161 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9284] ppid=9277 vsize=1488612 CPUtime=0 /proc/9279/task/9284/stat : 9284 (java) S 9277 9279 9107 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159835253 1524338688 34162 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9285] ppid=9277 vsize=1488612 CPUtime=0 /proc/9279/task/9285/stat : 9285 (java) S 9277 9279 9107 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 159835253 1524338688 34162 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9286] ppid=9277 vsize=1488612 CPUtime=0 /proc/9279/task/9286/stat : 9286 (java) S 9277 9279 9107 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 159835253 1524338688 34162 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9287] ppid=9277 vsize=1488612 CPUtime=0 /proc/9279/task/9287/stat : 9287 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159835258 1524338688 34163 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9288] ppid=9277 vsize=1488612 CPUtime=0.69 /proc/9279/task/9288/stat : 9288 (java) S 9277 9279 9107 0 -1 64 2679 0 0 0 69 0 0 0 16 0 13 0 159835258 1524338688 34164 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9289] ppid=9277 vsize=1488612 CPUtime=1.05 /proc/9279/task/9289/stat : 9289 (java) S 9277 9279 9107 0 -1 64 6353 0 0 0 103 2 0 0 15 0 13 0 159835258 1524338688 34164 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9290] ppid=9277 vsize=1488612 CPUtime=0 /proc/9279/task/9290/stat : 9290 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159835258 1524338688 34165 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9291] ppid=9277 vsize=1488612 CPUtime=0 /proc/9279/task/9291/stat : 9291 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159835258 1524338688 34166 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9292] ppid=9277 vsize=1488612 CPUtime=0 /proc/9279/task/9292/stat : 9292 (java) S 9277 9279 9107 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 159835285 1524338688 34166 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.2 Current children cumulated vsize (KiB) 1488612 [startup+6.30282 s] /proc/loadavg: 1.01 1.00 1.00 4/77 9292 /proc/meminfo: memFree=1162312/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=1487940 CPUtime=7.59 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 43566 0 1 0 739 20 0 0 18 0 13 0 159835228 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 371985 38134 1432 9 0 369328 0 [pid=9279/tid=9281] ppid=9277 vsize=1487940 CPUtime=5.54 /proc/9279/task/9281/stat : 9281 (java) R 9277 9279 9107 0 -1 64 30969 0 1 0 540 14 0 0 25 0 13 0 159835230 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4109581503 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9282] ppid=9277 vsize=1487940 CPUtime=0.02 /proc/9279/task/9282/stat : 9282 (java) S 9277 9279 9107 0 -1 64 1616 0 0 0 1 1 0 0 16 0 13 0 159835251 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9283] ppid=9277 vsize=1487940 CPUtime=0.01 /proc/9279/task/9283/stat : 9283 (java) S 9277 9279 9107 0 -1 64 1165 0 0 0 1 0 0 0 16 0 13 0 159835251 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9284] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9284/stat : 9284 (java) S 9277 9279 9107 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9285] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9285/stat : 9285 (java) S 9277 9279 9107 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9286] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9286/stat : 9286 (java) S 9277 9279 9107 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9287] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9287/stat : 9287 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159835258 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9288] ppid=9277 vsize=1487940 CPUtime=0.75 /proc/9279/task/9288/stat : 9288 (java) S 9277 9279 9107 0 -1 64 2684 0 0 0 75 0 0 0 15 0 13 0 159835258 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9289] ppid=9277 vsize=1487940 CPUtime=1.21 /proc/9279/task/9289/stat : 9289 (java) S 9277 9279 9107 0 -1 64 6376 0 0 0 119 2 0 0 16 0 13 0 159835258 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9290] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9290/stat : 9290 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159835258 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9291] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9291/stat : 9291 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159835258 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9292] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9292/stat : 9292 (java) S 9277 9279 9107 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 159835285 1523650560 38134 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.59 Current children cumulated vsize (KiB) 1487940 [startup+12.702 s] /proc/loadavg: 1.09 1.02 1.01 2/77 9292 /proc/meminfo: memFree=1145744/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=1487940 CPUtime=14.11 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 47154 0 1 0 1390 21 0 0 18 0 13 0 159835228 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 371985 41668 1432 9 0 369328 0 [pid=9279/tid=9281] ppid=9277 vsize=1487940 CPUtime=11.86 /proc/9279/task/9281/stat : 9281 (java) R 9277 9279 9107 0 -1 64 30971 0 1 0 1172 14 0 0 25 0 13 0 159835230 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4109581245 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9282] ppid=9277 vsize=1487940 CPUtime=0.07 /proc/9279/task/9282/stat : 9282 (java) S 9277 9279 9107 0 -1 64 3476 0 0 0 6 1 0 0 16 0 13 0 159835251 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9283] ppid=9277 vsize=1487940 CPUtime=0.06 /proc/9279/task/9283/stat : 9283 (java) S 9277 9279 9107 0 -1 64 2881 0 0 0 6 0 0 0 17 0 13 0 159835251 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9284] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9284/stat : 9284 (java) S 9277 9279 9107 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9285] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9285/stat : 9285 (java) S 9277 9279 9107 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9286] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9286/stat : 9286 (java) S 9277 9279 9107 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9287] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9287/stat : 9287 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159835258 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9288] ppid=9277 vsize=1487940 CPUtime=0.83 /proc/9279/task/9288/stat : 9288 (java) S 9277 9279 9107 0 -1 64 2689 0 0 0 83 0 0 0 16 0 13 0 159835258 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9289] ppid=9277 vsize=1487940 CPUtime=1.22 /proc/9279/task/9289/stat : 9289 (java) S 9277 9279 9107 0 -1 64 6376 0 0 0 120 2 0 0 16 0 13 0 159835258 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9290] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9290/stat : 9290 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159835258 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9291] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9291/stat : 9291 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159835258 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9292] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9292/stat : 9292 (java) S 9277 9279 9107 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 159835285 1523650560 41668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.11 Current children cumulated vsize (KiB) 1487940 [startup+25.5023 s] /proc/loadavg: 1.07 1.02 1.00 2/77 9292 /proc/meminfo: memFree=1119376/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=1487940 CPUtime=27.07 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 54092 0 1 0 2683 24 0 0 18 0 13 0 159835228 1523650560 48251 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 371985 48251 1432 9 0 369328 0 [pid=9279/tid=9281] ppid=9277 vsize=1487940 CPUtime=24.49 /proc/9279/task/9281/stat : 9281 (java) R 9277 9279 9107 0 -1 64 30975 0 1 0 2435 14 0 0 25 0 13 0 159835230 1523650560 48251 1992294400 134512640 134550932 4294956016 18446744073709551615 4109581503 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9282] ppid=9277 vsize=1487940 CPUtime=0.24 /proc/9279/task/9282/stat : 9282 (java) S 9277 9279 9107 0 -1 64 6959 0 0 0 21 3 0 0 16 0 13 0 159835251 1523650560 48251 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9283] ppid=9277 vsize=1487940 CPUtime=0.24 /proc/9279/task/9283/stat : 9283 (java) S 9277 9279 9107 0 -1 64 6327 0 0 0 22 2 0 0 17 0 13 0 159835251 1523650560 48251 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9284] ppid=9277 vsize=1487940 CPUtime=0 ################ # More data... # ################ [pid=9279/tid=9284] ppid=9277 vsize=1487940 CPUtime=0.01 /proc/9279/task/9284/stat : 9284 (java) S 9277 9279 9107 0 -1 64 21 0 0 0 0 1 0 0 16 0 13 0 159835253 1523650560 123483 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9285] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9285/stat : 9285 (java) S 9277 9279 9107 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 123483 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9286] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9286/stat : 9286 (java) S 9277 9279 9107 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 123483 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9287] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9287/stat : 9287 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159835258 1523650560 123483 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9288] ppid=9277 vsize=1487940 CPUtime=0.84 /proc/9279/task/9288/stat : 9288 (java) S 9277 9279 9107 0 -1 64 2689 0 0 0 84 0 0 0 16 0 13 0 159835258 1523650560 123483 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9289] ppid=9277 vsize=1487940 CPUtime=1.22 /proc/9279/task/9289/stat : 9289 (java) S 9277 9279 9107 0 -1 64 6376 0 0 0 120 2 0 0 16 0 13 0 159835258 1523650560 123483 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9290] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9290/stat : 9290 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159835258 1523650560 123483 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9291] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9291/stat : 9291 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159835258 1523650560 123483 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9292] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9292/stat : 9292 (java) S 9277 9279 9107 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 159835285 1523650560 123483 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1666.08 Current children cumulated vsize (KiB) 1487940 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 9300 /proc/meminfo: memFree=814352/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=1487940 CPUtime=1726.11 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 134376 0 1 0 172539 72 0 0 18 0 13 0 159835228 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 371985 124187 1432 9 0 369328 0 [pid=9279/tid=9281] ppid=9277 vsize=1487940 CPUtime=1717.3 /proc/9279/task/9281/stat : 9281 (java) R 9277 9279 9107 0 -1 64 31062 0 1 0 171708 22 0 0 25 0 13 0 159835230 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4109501086 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9282] ppid=9277 vsize=1487940 CPUtime=3.31 /proc/9279/task/9282/stat : 9282 (java) S 9277 9279 9107 0 -1 64 46243 0 0 0 310 21 0 0 16 0 13 0 159835251 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9283] ppid=9277 vsize=1487940 CPUtime=3.36 /proc/9279/task/9283/stat : 9283 (java) S 9277 9279 9107 0 -1 64 47240 0 0 0 314 22 0 0 17 0 13 0 159835251 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9284] ppid=9277 vsize=1487940 CPUtime=0.01 /proc/9279/task/9284/stat : 9284 (java) S 9277 9279 9107 0 -1 64 21 0 0 0 0 1 0 0 16 0 13 0 159835253 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9285] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9285/stat : 9285 (java) S 9277 9279 9107 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9286] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9286/stat : 9286 (java) S 9277 9279 9107 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9287] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9287/stat : 9287 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159835258 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9288] ppid=9277 vsize=1487940 CPUtime=0.84 /proc/9279/task/9288/stat : 9288 (java) S 9277 9279 9107 0 -1 64 2689 0 0 0 84 0 0 0 16 0 13 0 159835258 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9289] ppid=9277 vsize=1487940 CPUtime=1.22 /proc/9279/task/9289/stat : 9289 (java) S 9277 9279 9107 0 -1 64 6376 0 0 0 120 2 0 0 16 0 13 0 159835258 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9290] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9290/stat : 9290 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159835258 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9291] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9291/stat : 9291 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159835258 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9292] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9292/stat : 9292 (java) S 9277 9279 9107 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 159835285 1523650560 124187 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1726.11 Current children cumulated vsize (KiB) 1487940 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 9300 /proc/meminfo: memFree=807952/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=1487940 CPUtime=1786.18 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 136003 0 1 0 178545 73 0 0 18 0 13 0 159835228 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 371985 125783 1432 9 0 369328 0 [pid=9279/tid=9281] ppid=9277 vsize=1487940 CPUtime=1777.17 /proc/9279/task/9281/stat : 9281 (java) R 9277 9279 9107 0 -1 64 31064 0 1 0 177694 23 0 0 25 0 13 0 159835230 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4109501086 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9282] ppid=9277 vsize=1487940 CPUtime=3.42 /proc/9279/task/9282/stat : 9282 (java) S 9277 9279 9107 0 -1 64 47418 0 0 0 320 22 0 0 16 0 13 0 159835251 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9283] ppid=9277 vsize=1487940 CPUtime=3.46 /proc/9279/task/9283/stat : 9283 (java) S 9277 9279 9107 0 -1 64 47690 0 0 0 324 22 0 0 17 0 13 0 159835251 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9284] ppid=9277 vsize=1487940 CPUtime=0.01 /proc/9279/task/9284/stat : 9284 (java) S 9277 9279 9107 0 -1 64 21 0 0 0 0 1 0 0 16 0 13 0 159835253 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9285] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9285/stat : 9285 (java) S 9277 9279 9107 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9286] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9286/stat : 9286 (java) S 9277 9279 9107 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9287] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9287/stat : 9287 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159835258 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9288] ppid=9277 vsize=1487940 CPUtime=0.84 /proc/9279/task/9288/stat : 9288 (java) S 9277 9279 9107 0 -1 64 2689 0 0 0 84 0 0 0 16 0 13 0 159835258 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9289] ppid=9277 vsize=1487940 CPUtime=1.22 /proc/9279/task/9289/stat : 9289 (java) S 9277 9279 9107 0 -1 64 6376 0 0 0 120 2 0 0 16 0 13 0 159835258 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9290] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9290/stat : 9290 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159835258 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9291] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9291/stat : 9291 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159835258 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9292] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9292/stat : 9292 (java) S 9277 9279 9107 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 159835285 1523650560 125783 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1786.18 Current children cumulated vsize (KiB) 1487940 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.2 s] /proc/loadavg: 1.00 1.00 1.00 3/77 9300 /proc/meminfo: memFree=807696/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=1487940 CPUtime=1800.09 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 136076 0 1 0 179936 73 0 0 18 0 13 0 159835228 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 371985 125854 1432 9 0 369328 0 [pid=9279/tid=9281] ppid=9277 vsize=1487940 CPUtime=1791.05 /proc/9279/task/9281/stat : 9281 (java) S 9277 9279 9107 0 -1 64 31065 0 1 0 179082 23 0 0 25 0 13 0 159835230 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9282] ppid=9277 vsize=1487940 CPUtime=3.44 /proc/9279/task/9282/stat : 9282 (java) R 9277 9279 9107 0 -1 64 47469 0 0 0 322 22 0 0 16 0 13 0 159835251 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 103112807 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9283] ppid=9277 vsize=1487940 CPUtime=3.47 /proc/9279/task/9283/stat : 9283 (java) R 9277 9279 9107 0 -1 64 47711 0 0 0 325 22 0 0 16 0 13 0 159835251 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 105886426 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9284] ppid=9277 vsize=1487940 CPUtime=0.01 /proc/9279/task/9284/stat : 9284 (java) S 9277 9279 9107 0 -1 64 21 0 0 0 0 1 0 0 15 0 13 0 159835253 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9285] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9285/stat : 9285 (java) S 9277 9279 9107 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9286] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9286/stat : 9286 (java) S 9277 9279 9107 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159835253 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9287] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9287/stat : 9287 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159835258 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9288] ppid=9277 vsize=1487940 CPUtime=0.84 /proc/9279/task/9288/stat : 9288 (java) S 9277 9279 9107 0 -1 64 2689 0 0 0 84 0 0 0 16 0 13 0 159835258 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9289] ppid=9277 vsize=1487940 CPUtime=1.22 /proc/9279/task/9289/stat : 9289 (java) S 9277 9279 9107 0 -1 64 6376 0 0 0 120 2 0 0 16 0 13 0 159835258 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9290] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9290/stat : 9290 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159835258 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9291] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9291/stat : 9291 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159835258 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9292] ppid=9277 vsize=1487940 CPUtime=0 /proc/9279/task/9292/stat : 9292 (java) S 9277 9279 9107 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 159835285 1523650560 125854 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1487940 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.4 s] /proc/loadavg: 1.00 1.00 1.00 3/77 9300 /proc/meminfo: memFree=807696/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=1488588 CPUtime=1800.46 /proc/9279/stat : 9279 (java) S 9277 9279 9107 0 -1 0 136794 0 1 0 179973 73 0 0 16 0 15 0 159835228 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 372147 126547 1434 9 0 369490 0 [pid=9279/tid=9281] ppid=9277 vsize=1488588 CPUtime=1791.2 /proc/9279/task/9281/stat : 9281 (java) R 9277 9279 9107 0 -1 64 31065 0 1 0 179097 23 0 0 17 0 15 0 159835230 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4109581503 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9282] ppid=9277 vsize=1488588 CPUtime=3.47 /proc/9279/task/9282/stat : 9282 (java) S 9277 9279 9107 0 -1 64 47970 0 0 0 325 22 0 0 16 0 15 0 159835251 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9283] ppid=9277 vsize=1488588 CPUtime=3.51 /proc/9279/task/9283/stat : 9283 (java) S 9277 9279 9107 0 -1 64 47904 0 0 0 329 22 0 0 17 0 15 0 159835251 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9284] ppid=9277 vsize=1488588 CPUtime=0.01 /proc/9279/task/9284/stat : 9284 (java) S 9277 9279 9107 0 -1 64 21 0 0 0 0 1 0 0 16 0 15 0 159835253 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9285] ppid=9277 vsize=1488588 CPUtime=0 /proc/9279/task/9285/stat : 9285 (java) S 9277 9279 9107 0 -1 64 10 0 0 0 0 0 0 0 16 0 15 0 159835253 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9286] ppid=9277 vsize=1488588 CPUtime=0 /proc/9279/task/9286/stat : 9286 (java) S 9277 9279 9107 0 -1 64 7 0 0 0 0 0 0 0 16 0 15 0 159835253 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9287] ppid=9277 vsize=1488588 CPUtime=0 /proc/9279/task/9287/stat : 9287 (java) S 9277 9279 9107 0 -1 64 6 0 0 0 0 0 0 0 17 0 15 0 159835258 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9288] ppid=9277 vsize=1488588 CPUtime=0.88 /proc/9279/task/9288/stat : 9288 (java) S 9277 9279 9107 0 -1 64 2694 0 0 0 88 0 0 0 17 0 15 0 159835258 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9289] ppid=9277 vsize=1488588 CPUtime=1.22 /proc/9279/task/9289/stat : 9289 (java) S 9277 9279 9107 0 -1 64 6376 0 0 0 120 2 0 0 16 0 15 0 159835258 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9290] ppid=9277 vsize=1488588 CPUtime=0 /proc/9279/task/9290/stat : 9290 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 25 0 15 0 159835258 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9279/tid=9291] ppid=9277 vsize=1488588 CPUtime=0 /proc/9279/task/9291/stat : 9291 (java) S 9277 9279 9107 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 159835258 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9279/tid=9292] ppid=9277 vsize=1488588 CPUtime=0 /proc/9279/task/9292/stat : 9292 (java) S 9277 9279 9107 0 -1 64 4 0 0 0 0 0 0 0 18 0 15 0 159835285 1524314112 126547 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (KiB) 1488588 [startup+1796.5 s] /proc/loadavg: 1.00 1.00 1.00 3/77 9300 /proc/meminfo: memFree=807696/2055920 swapFree=4191900/4192956 [pid=9279] ppid=9277 vsize=0 CPUtime=1800.59 /proc/9279/stat : 9279 (java) Z 9277 9279 9107 0 -1 1036 136798 0 1 0 179979 80 0 0 15 0 2 0 159835228 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9279/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1796.52 CPU time (s): 1800.61 CPU user time (s): 1799.8 CPU system time (s): 0.816875 CPU usage (%): 100.228 Max. virtual memory (cumulated for all children) (KiB): 1490988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.816875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 136798 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38436 involuntary context switches= 33038 runsolver used 2.29665 second user time and 4.28235 second system time The end
Begin job on node44 at 2009-06-13 21:46:25 IDJOB=1856717 IDBENCH=2920 IDSOLVER=682 FILE ID=node44/1856717-1244922385 PBS_JOBID= 9354625 Free space on /tmp= 65988 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856717-1244922385/watcher-1856717-1244922385 -o /tmp/evaluation-result-1856717-1244922385/solver-1856717-1244922385 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856717-1244922385.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=1854801795 node44.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1308240 kB Buffers: 63452 kB Cached: 609148 kB SwapCached: 260 kB Active: 49780 kB Inactive: 636076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1308240 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 304 kB Writeback: 0 kB Mapped: 21804 kB Slab: 47712 kB Committed_AS: 130396 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 65988 MiB End job on node44 at 2009-06-13 22:16:24