Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 368 | 1800.17 | 1786.2 |
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 | 42 |
Best CPU time to get the best result obtained on this benchmark | 1802.09 |
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.09/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.14 c no version file found!!! 0.09/0.14 c sun.arch.data.model 32 0.09/0.14 c java.version 1.6.0 0.09/0.14 c os.name Linux 0.09/0.14 c os.version 2.6.9-22.EL.rootsmp 0.09/0.14 c os.arch i386 0.09/0.14 c Free memory 1651659224 0.09/0.14 c Max memory 1654456320 0.09/0.14 c Total memory 1654456320 0.09/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/354904-1176731396/instance-354904-1176731396.opb 0.20/0.20 c reading problem ... 0.31/0.36 c ... done. Wall clock time 0.158s. 0.31/0.36 c CPU time (experimental) 0.29s. 0.31/0.36 c #vars 198 0.31/0.36 c #constraints 16 0.85/0.61 c SATISFIABLE 0.85/0.61 c OPTIMIZING... 0.85/0.61 c Got one! Elapsed wall clock time (in seconds):0.408 0.85/0.61 o 3383 0.85/0.66 c Got one! Elapsed wall clock time (in seconds):0.458 0.85/0.66 o 2609 0.96/0.71 c Got one! Elapsed wall clock time (in seconds):0.515 0.96/0.71 o 2605 0.96/0.76 c Got one! Elapsed wall clock time (in seconds):0.558 0.96/0.76 o 2590 0.96/0.79 c Got one! Elapsed wall clock time (in seconds):0.591 0.96/0.79 o 2159 1.10/0.83 c Got one! Elapsed wall clock time (in seconds):0.628 1.10/0.83 o 2154 1.10/0.88 c Got one! Elapsed wall clock time (in seconds):0.682 1.10/0.88 o 2049 1.22/0.94 c Got one! Elapsed wall clock time (in seconds):0.738 1.22/0.94 o 1597 1.32/1.00 c Got one! Elapsed wall clock time (in seconds):0.801 1.32/1.00 o 968 1.43/1.18 c Got one! Elapsed wall clock time (in seconds):0.984 1.43/1.18 o 966 1.53/1.26 c Got one! Elapsed wall clock time (in seconds):1.057 1.53/1.26 o 965 1.65/1.33 c Got one! Elapsed wall clock time (in seconds):1.133 1.65/1.33 o 963 1.65/1.39 c Got one! Elapsed wall clock time (in seconds):1.193 1.65/1.39 o 962 1.78/1.45 c Got one! Elapsed wall clock time (in seconds):1.251 1.78/1.45 o 956 1.98/1.51 c Got one! Elapsed wall clock time (in seconds):1.306 1.98/1.51 o 867 1.98/1.56 c Got one! Elapsed wall clock time (in seconds):1.36 1.98/1.56 o 865 2.17/1.66 c Got one! Elapsed wall clock time (in seconds):1.457 2.17/1.66 o 863 2.57/1.80 c Got one! Elapsed wall clock time (in seconds):1.604 2.57/1.80 o 861 2.57/1.87 c Got one! Elapsed wall clock time (in seconds):1.674 2.57/1.87 o 859 2.97/2.09 c Got one! Elapsed wall clock time (in seconds):1.888 2.97/2.09 o 858 3.11/2.17 c Got one! Elapsed wall clock time (in seconds):1.97 3.11/2.17 o 856 3.21/2.25 c Got one! Elapsed wall clock time (in seconds):2.049 3.21/2.25 o 854 3.31/2.33 c Got one! Elapsed wall clock time (in seconds):2.133 3.31/2.33 o 853 3.41/2.41 c Got one! Elapsed wall clock time (in seconds):2.214 3.41/2.41 o 852 3.51/2.51 c Got one! Elapsed wall clock time (in seconds):2.311 3.51/2.51 o 843 3.62/2.61 c Got one! Elapsed wall clock time (in seconds):2.409 3.62/2.61 o 841 3.72/2.75 c Got one! Elapsed wall clock time (in seconds):2.552 3.72/2.75 o 838 3.81/2.84 c Got one! Elapsed wall clock time (in seconds):2.644 3.81/2.84 o 837 4.03/3.09 c Got one! Elapsed wall clock time (in seconds):2.89 4.03/3.09 o 836 4.15/3.16 c Got one! Elapsed wall clock time (in seconds):2.962 4.15/3.16 o 835 4.39/3.28 c Got one! Elapsed wall clock time (in seconds):3.079 4.39/3.28 o 834 4.65/3.53 c Got one! Elapsed wall clock time (in seconds):3.328 4.65/3.53 o 832 4.85/3.75 c Got one! Elapsed wall clock time (in seconds):3.547 4.85/3.75 o 831 4.95/3.84 c Got one! Elapsed wall clock time (in seconds):3.643 4.95/3.84 o 830 5.05/3.94 c Got one! Elapsed wall clock time (in seconds):3.742 5.05/3.94 o 829 5.17/4.04 c Got one! Elapsed wall clock time (in seconds):3.836 5.17/4.04 o 828 5.27/4.14 c Got one! Elapsed wall clock time (in seconds):3.936 5.27/4.14 o 815 5.37/4.23 c Got one! Elapsed wall clock time (in seconds):4.031 5.37/4.23 o 814 5.68/4.41 c Got one! Elapsed wall clock time (in seconds):4.21 5.68/4.41 o 813 5.77/4.50 c Got one! Elapsed wall clock time (in seconds):4.305 5.77/4.50 o 811 5.98/4.77 c Got one! Elapsed wall clock time (in seconds):4.57 5.98/4.77 o 810 6.11/4.89 c Got one! Elapsed wall clock time (in seconds):4.685 6.11/4.89 o 753 6.21/4.98 c Got one! Elapsed wall clock time (in seconds):4.776 6.21/4.98 o 751 6.41/5.12 c Got one! Elapsed wall clock time (in seconds):4.918 6.41/5.12 o 749 6.51/5.21 c Got one! Elapsed wall clock time (in seconds):5.008 6.51/5.21 o 746 6.61/5.32 c Got one! Elapsed wall clock time (in seconds):5.122 6.61/5.32 o 745 6.71/5.45 c Got one! Elapsed wall clock time (in seconds):5.252 6.71/5.45 o 743 6.91/5.65 c Got one! Elapsed wall clock time (in seconds):5.448 6.91/5.65 o 742 7.04/5.78 c Got one! Elapsed wall clock time (in seconds):5.584 7.04/5.78 o 741 7.14/5.89 c Got one! Elapsed wall clock time (in seconds):5.695 7.14/5.89 o 740 7.35/6.01 c Got one! Elapsed wall clock time (in seconds):5.81 7.35/6.01 o 739 7.98/6.64 c Got one! Elapsed wall clock time (in seconds):6.441 7.98/6.64 o 737 8.09/6.75 c Got one! Elapsed wall clock time (in seconds):6.551 8.09/6.75 o 735 8.19/6.88 c Got one! Elapsed wall clock time (in seconds):6.682 8.19/6.88 o 734 8.29/6.99 c Got one! Elapsed wall clock time (in seconds):6.785 8.29/6.99 o 730 8.99/7.70 c Got one! Elapsed wall clock time (in seconds):7.498 8.99/7.70 o 728 9.19/7.84 c Got one! Elapsed wall clock time (in seconds):7.639 9.19/7.84 o 727 9.29/7.96 c Got one! Elapsed wall clock time (in seconds):7.761 9.29/7.96 o 725 9.49/8.11 c Got one! Elapsed wall clock time (in seconds):7.906 9.49/8.11 o 722 9.82/8.49 c Got one! Elapsed wall clock time (in seconds):8.285 9.82/8.49 o 720 10.02/8.68 c Got one! Elapsed wall clock time (in seconds):8.475 10.02/8.68 o 719 10.12/8.80 c Got one! Elapsed wall clock time (in seconds):8.601 10.12/8.80 o 717 10.52/9.11 c Got one! Elapsed wall clock time (in seconds):8.914 10.52/9.11 o 715 10.82/9.43 c Got one! Elapsed wall clock time (in seconds):9.229 10.82/9.43 o 713 10.92/9.58 c Got one! Elapsed wall clock time (in seconds):9.384 10.92/9.58 o 712 11.55/10.14 c Got one! Elapsed wall clock time (in seconds):9.936 11.55/10.14 o 711 11.65/10.26 c Got one! Elapsed wall clock time (in seconds):10.065 11.65/10.26 o 708 11.85/10.46 c Got one! Elapsed wall clock time (in seconds):10.261 11.85/10.46 o 707 12.17/10.76 c Got one! Elapsed wall clock time (in seconds):10.561 12.17/10.76 o 705 12.42/10.98 c Got one! Elapsed wall clock time (in seconds):10.784 12.42/10.98 o 704 13.02/11.54 c Got one! Elapsed wall clock time (in seconds):11.341 13.02/11.54 o 703 13.12/11.68 c Got one! Elapsed wall clock time (in seconds):11.483 13.12/11.68 o 701 13.52/12.04 c Got one! Elapsed wall clock time (in seconds):11.842 13.52/12.04 o 700 14.04/12.57 c Got one! Elapsed wall clock time (in seconds):12.375 14.04/12.57 o 699 14.84/13.36 c Got one! Elapsed wall clock time (in seconds):13.158 14.84/13.36 o 695 15.14/13.60 c Got one! Elapsed wall clock time (in seconds):13.4 15.14/13.60 o 694 15.24/13.79 c Got one! Elapsed wall clock time (in seconds):13.585 15.24/13.79 o 693 15.84/14.22 c Got one! Elapsed wall clock time (in seconds):14.023 15.84/14.22 o 691 16.64/15.07 c Got one! Elapsed wall clock time (in seconds):14.866 16.64/15.07 o 689 17.14/15.54 c Got one! Elapsed wall clock time (in seconds):15.337 17.14/15.54 o 688 17.77/16.10 c Got one! Elapsed wall clock time (in seconds):15.9 17.77/16.10 o 687 18.27/16.66 c Got one! Elapsed wall clock time (in seconds):16.46 18.27/16.66 o 686 18.57/16.91 c Got one! Elapsed wall clock time (in seconds):16.709 18.57/16.91 o 684 19.07/17.49 c Got one! Elapsed wall clock time (in seconds):17.288 19.07/17.49 o 682 19.28/17.67 c Got one! Elapsed wall clock time (in seconds):17.474 19.28/17.68 o 680 19.72/18.01 c Got one! Elapsed wall clock time (in seconds):17.813 19.72/18.01 o 678 19.92/18.20 c Got one! Elapsed wall clock time (in seconds):18.001 19.92/18.20 o 677 20.02/18.37 c Got one! Elapsed wall clock time (in seconds):18.175 20.02/18.38 o 675 20.23/18.60 c Got one! Elapsed wall clock time (in seconds):18.395 20.23/18.60 o 673 20.92/19.21 c Got one! Elapsed wall clock time (in seconds):19.007 20.92/19.21 o 666 22.14/20.47 c Got one! Elapsed wall clock time (in seconds):20.267 22.14/20.47 o 664 22.54/20.89 c Got one! Elapsed wall clock time (in seconds):20.695 22.54/20.89 o 662 22.94/21.27 c Got one! Elapsed wall clock time (in seconds):21.073 22.94/21.27 o 660 23.24/21.53 c Got one! Elapsed wall clock time (in seconds):21.328 23.24/21.53 o 658 23.44/21.74 c Got one! Elapsed wall clock time (in seconds):21.536 23.44/21.74 o 642 25.06/23.36 c Got one! Elapsed wall clock time (in seconds):23.16 25.06/23.36 o 641 25.87/24.16 c Got one! Elapsed wall clock time (in seconds):23.955 25.87/24.16 o 640 26.27/24.55 c Got one! Elapsed wall clock time (in seconds):24.349 26.27/24.55 o 639 26.47/24.75 c Got one! Elapsed wall clock time (in seconds):24.549 26.47/24.75 o 638 27.08/25.35 c Got one! Elapsed wall clock time (in seconds):25.149 27.08/25.35 o 637 27.38/25.60 c Got one! Elapsed wall clock time (in seconds):25.401 27.38/25.60 o 636 27.58/25.83 c Got one! Elapsed wall clock time (in seconds):25.633 27.58/25.83 o 635 27.78/26.05 c Got one! Elapsed wall clock time (in seconds):25.85 27.78/26.05 o 633 28.19/26.47 c Got one! Elapsed wall clock time (in seconds):26.269 28.19/26.47 o 632 28.49/26.78 c Got one! Elapsed wall clock time (in seconds):26.577 28.49/26.78 o 630 28.79/27.03 c Got one! Elapsed wall clock time (in seconds):26.826 28.79/27.03 o 628 29.19/27.49 c Got one! Elapsed wall clock time (in seconds):27.291 29.19/27.49 o 626 29.69/27.94 c Got one! Elapsed wall clock time (in seconds):27.735 29.69/27.94 o 623 30.20/28.46 c Got one! Elapsed wall clock time (in seconds):28.263 30.20/28.46 o 622 31.00/29.25 c Got one! Elapsed wall clock time (in seconds):29.049 31.00/29.25 o 620 31.30/29.59 c Got one! Elapsed wall clock time (in seconds):29.386 31.30/29.59 o 618 31.80/30.06 c Got one! Elapsed wall clock time (in seconds):29.858 31.80/30.06 o 617 32.51/30.72 c Got one! Elapsed wall clock time (in seconds):30.516 32.51/30.72 o 616 32.91/31.10 c Got one! Elapsed wall clock time (in seconds):30.901 32.91/31.10 o 614 34.31/32.53 c Got one! Elapsed wall clock time (in seconds):32.335 34.31/32.54 o 613 34.61/32.81 c Got one! Elapsed wall clock time (in seconds):32.612 34.61/32.81 o 610 35.21/33.43 c Got one! Elapsed wall clock time (in seconds):33.23 35.21/33.43 o 609 35.72/33.91 c Got one! Elapsed wall clock time (in seconds):33.712 35.72/33.91 o 608 36.03/34.22 c Got one! Elapsed wall clock time (in seconds):34.025 36.03/34.22 o 607 36.43/34.60 c Got one! Elapsed wall clock time (in seconds):34.402 36.43/34.60 o 606 36.63/34.90 c Got one! Elapsed wall clock time (in seconds):34.696 36.63/34.90 o 605 41.75/39.93 c Got one! Elapsed wall clock time (in seconds):39.732 41.75/39.93 o 603 42.05/40.29 c Got one! Elapsed wall clock time (in seconds):40.093 42.05/40.29 o 601 42.35/40.56 c Got one! Elapsed wall clock time (in seconds):40.361 42.35/40.56 o 600 43.15/41.35 c Got one! Elapsed wall clock time (in seconds):41.148 43.15/41.35 o 598 43.65/41.87 c Got one! Elapsed wall clock time (in seconds):41.672 43.65/41.87 o 596 44.25/42.44 c Got one! Elapsed wall clock time (in seconds):42.236 44.25/42.44 o 594 45.05/43.27 c Got one! Elapsed wall clock time (in seconds):43.067 45.05/43.27 o 592 45.76/43.96 c Got one! Elapsed wall clock time (in seconds):43.759 45.76/43.96 o 545 47.88/46.00 c Got one! Elapsed wall clock time (in seconds):45.801 47.88/46.00 o 543 52.09/50.27 c Got one! Elapsed wall clock time (in seconds):50.067 52.09/50.27 o 541 52.79/50.92 c Got one! Elapsed wall clock time (in seconds):50.724 52.79/50.92 o 539 53.60/51.74 c Got one! Elapsed wall clock time (in seconds):51.541 53.60/51.74 o 537 54.39/52.58 c Got one! Elapsed wall clock time (in seconds):52.383 54.39/52.58 o 535 60.62/58.75 c Got one! Elapsed wall clock time (in seconds):58.555 60.62/58.75 o 534 66.34/64.40 c Got one! Elapsed wall clock time (in seconds):64.201 66.34/64.40 o 532 66.85/64.94 c Got one! Elapsed wall clock time (in seconds):64.74 66.85/64.94 o 530 67.54/65.63 c Got one! Elapsed wall clock time (in seconds):65.433 67.54/65.63 o 489 74.30/72.38 c Got one! Elapsed wall clock time (in seconds):72.178 74.30/72.38 o 487 77.92/75.90 c Got one! Elapsed wall clock time (in seconds):75.703 77.92/75.90 o 486 82.45/80.49 c Got one! Elapsed wall clock time (in seconds):80.291 82.45/80.49 o 485 93.02/90.94 c Got one! Elapsed wall clock time (in seconds):90.742 93.02/90.94 o 484 97.85/95.75 c Got one! Elapsed wall clock time (in seconds):95.548 97.85/95.75 o 483 111.05/108.89 c Got one! Elapsed wall clock time (in seconds):108.688 111.05/108.89 o 481 112.35/110.15 c Got one! Elapsed wall clock time (in seconds):109.952 112.35/110.15 o 479 117.40/115.16 c Got one! Elapsed wall clock time (in seconds):114.956 117.40/115.16 o 475 118.40/116.13 c Got one! Elapsed wall clock time (in seconds):115.934 118.40/116.13 o 474 123.25/120.96 c Got one! Elapsed wall clock time (in seconds):120.756 123.25/120.96 o 473 128.18/125.87 c Got one! Elapsed wall clock time (in seconds):125.675 128.18/125.87 o 469 130.40/128.03 c Got one! Elapsed wall clock time (in seconds):127.833 130.40/128.03 o 468 131.71/129.33 c Got one! Elapsed wall clock time (in seconds):129.126 131.71/129.33 o 467 136.34/133.97 c Got one! Elapsed wall clock time (in seconds):133.768 136.34/133.97 o 466 140.68/138.21 c Got one! Elapsed wall clock time (in seconds):138.013 140.68/138.21 o 465 141.59/139.15 c Got one! Elapsed wall clock time (in seconds):138.955 141.59/139.15 o 463 142.29/139.83 c Got one! Elapsed wall clock time (in seconds):139.633 142.29/139.83 o 462 144.60/142.13 c Got one! Elapsed wall clock time (in seconds):141.934 144.60/142.13 o 461 147.54/145.02 c Got one! Elapsed wall clock time (in seconds):144.82 147.54/145.02 o 460 152.97/150.40 c Got one! Elapsed wall clock time (in seconds):150.197 152.97/150.40 o 458 156.30/153.78 c Got one! Elapsed wall clock time (in seconds):153.577 156.30/153.78 o 457 157.20/154.65 c Got one! Elapsed wall clock time (in seconds):154.445 157.20/154.65 o 455 160.62/158.03 c Got one! Elapsed wall clock time (in seconds):157.83 160.62/158.03 o 424 168.89/166.22 c Got one! Elapsed wall clock time (in seconds):166.019 168.89/166.22 o 422 185.50/182.73 c Got one! Elapsed wall clock time (in seconds):182.527 185.50/182.73 o 420 190.44/187.61 c Got one! Elapsed wall clock time (in seconds):187.413 190.44/187.61 o 419 205.37/202.43 c Got one! Elapsed wall clock time (in seconds):202.234 205.37/202.43 o 418 233.26/230.17 c Got one! Elapsed wall clock time (in seconds):229.97 233.26/230.17 o 417 243.62/240.47 c Got one! Elapsed wall clock time (in seconds):240.274 243.62/240.47 o 414 253.29/250.01 c Got one! Elapsed wall clock time (in seconds):249.807 253.29/250.01 o 412 257.10/253.87 c Got one! Elapsed wall clock time (in seconds):253.666 257.10/253.87 o 410 273.02/269.68 c Got one! Elapsed wall clock time (in seconds):269.478 273.02/269.68 o 409 283.89/280.42 c Got one! Elapsed wall clock time (in seconds):280.225 283.89/280.42 o 407 293.74/290.29 c Got one! Elapsed wall clock time (in seconds):290.093 293.74/290.29 o 406 302.50/298.92 c Got one! Elapsed wall clock time (in seconds):298.722 302.50/298.92 o 404 314.77/311.16 c Got one! Elapsed wall clock time (in seconds):310.963 314.77/311.16 o 403 345.01/341.13 c Got one! Elapsed wall clock time (in seconds):340.928 345.01/341.13 o 401 351.02/347.16 c Got one! Elapsed wall clock time (in seconds):346.96 351.02/347.16 o 399 361.30/357.37 c Got one! Elapsed wall clock time (in seconds):357.17 361.30/357.37 o 398 491.98/487.02 c Got one! Elapsed wall clock time (in seconds):486.821 491.98/487.02 o 396 503.57/498.58 c Got one! Elapsed wall clock time (in seconds):498.377 503.57/498.58 o 395 512.43/507.31 c Got one! Elapsed wall clock time (in seconds):507.112 512.43/507.31 o 394 529.48/524.23 c Got one! Elapsed wall clock time (in seconds):524.026 529.48/524.23 o 392 545.08/539.75 c Got one! Elapsed wall clock time (in seconds):539.545 545.08/539.75 o 390 601.48/595.78 c Got one! Elapsed wall clock time (in seconds):595.583 601.48/595.78 o 388 633.44/627.57 c Got one! Elapsed wall clock time (in seconds):627.375 633.44/627.58 o 386 647.13/641.17 c Got one! Elapsed wall clock time (in seconds):640.972 647.13/641.17 o 384 664.24/658.10 c Got one! Elapsed wall clock time (in seconds):657.9 664.24/658.10 o 374 701.13/694.89 c Got one! Elapsed wall clock time (in seconds):694.686 701.13/694.89 o 372 903.11/895.37 c Got one! Elapsed wall clock time (in seconds):895.166 903.11/895.37 o 371 912.35/904.50 c Got one! Elapsed wall clock time (in seconds):904.299 912.35/904.50 o 370 1119.75/1110.48 c Got one! Elapsed wall clock time (in seconds):1110.279 1119.75/1110.48 o 369 1159.88/1150.30 c Got one! Elapsed wall clock time (in seconds):1150.101 1159.88/1150.30 o 368 1800.06/1786.11 c starts : 1003 1800.06/1786.11 c conflicts : 824320 1800.06/1786.11 c decisions : 1112424 1800.06/1786.11 c propagations : 15706773 1800.06/1786.11 c inspects : 3720698698 1800.06/1786.11 c learnt literals : 0 1800.06/1786.11 c learnt binary clauses : 0 1800.06/1786.11 c learnt ternary clauses : 0 1800.06/1786.11 c learnt clauses : 824320 1800.06/1786.11 c root simplifications : 0 1800.06/1786.11 c removed literals (reason simplification) : 0 1800.06/1786.11 c reason swapping (by a shorter reason) : 0 1800.06/1786.11 c Calls to reduceDB : 0 1800.06/1786.11 c speed (decisions/second) : 1749.6197757502648 1800.06/1786.11 c non guided choices 5775 1800.06/1786.11 s SATISFIABLE 1800.06/1786.11 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 1800.06/1786.11 v -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 1800.06/1786.11 v -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 1800.06/1786.11 v -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 1800.06/1786.11 v x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 x125 -x126 x127 -x128 x129 1800.06/1786.11 v -x130 -x131 -x132 -x133 -x134 -x135 x136 x137 x138 x139 -x140 x141 x142 -x143 x144 x145 -x146 -x147 x148 -x149 x150 -x151 -x152 1800.06/1786.11 v -x153 x154 -x155 x156 x157 -x158 x159 x160 -x161 -x162 x163 -x164 x165 x166 -x167 x168 x169 -x170 x171 -x172 -x173 -x174 -x175 1800.06/1786.11 v x176 -x177 x178 x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 x187 x188 x189 -x190 x191 x192 -x193 -x194 x195 x196 x197 x198 1800.06/1786.11 c objective function=368 1800.06/1786.11 c Total wall clock time (ms): 1785.913
OK 368
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-354904-1176731396 -o ROOT/results/node24/solver-354904-1176731396 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354904-1176731396/sat4jPseudoResolution.jar /tmp/evaluation/354904-1176731396/instance-354904-1176731396.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 2/77 1636 /proc/meminfo: memFree=1815872/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1800 CPUtime=0 /proc/1636/stat : 1636 (java) R 1634 1636 31837 0 -1 0 143 0 0 0 0 0 0 0 18 0 1 0 121057668 1843200 117 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 3046641 0 0 4096 0 0 0 0 17 1 0 0 /proc/1636/statm: 450 122 86 9 0 92 0 [startup+0.08597 s] /proc/loadavg: 0.99 0.98 0.99 2/77 1636 /proc/meminfo: memFree=1815872/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1777844 CPUtime=0.07 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 3838 0 1 0 6 1 0 0 18 0 7 0 121057668 1820512256 3581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 444461 3581 1091 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.10197 s] /proc/loadavg: 0.99 0.98 0.99 2/77 1636 /proc/meminfo: memFree=1815872/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1780108 CPUtime=0.09 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 3982 0 1 0 7 2 0 0 18 0 12 0 121057668 1822830592 3724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 445027 3724 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.301993 s] /proc/loadavg: 0.99 0.98 0.99 2/77 1636 /proc/meminfo: memFree=1815872/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1782012 CPUtime=0.31 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 5115 0 1 0 29 2 0 0 18 0 12 0 121057668 1824780288 4854 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 445503 4854 1269 9 0 443115 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782012 [startup+0.701038 s] /proc/loadavg: 0.99 0.98 0.99 2/77 1636 /proc/meminfo: memFree=1815872/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1784164 CPUtime=0.96 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 7899 0 1 0 93 3 0 0 18 0 13 0 121057668 1826983936 6876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 446041 6876 1313 9 0 443653 0 Current children cumulated CPU time (s) 0.96 Current children cumulated vsize (KiB) 1784164 [startup+1.50212 s] /proc/loadavg: 0.99 0.98 0.99 2/90 1657 /proc/meminfo: memFree=1777560/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1786836 CPUtime=1.98 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 20259 0 1 0 188 10 0 0 18 0 14 0 121057668 1829720064 19003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 446709 19003 1315 9 0 444321 0 [pid=1636/tid=1638] ppid=1634 vsize=1786836 CPUtime=1.25 /proc/1636/task/1638/stat : 1638 (java) R 1634 1636 31837 0 -1 64 17128 0 1 0 117 8 0 0 21 0 14 0 121057669 1829720064 19003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109490454 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1639] ppid=1634 vsize=1786836 CPUtime=0 /proc/1636/task/1639/stat : 1639 (java) S 1634 1636 31837 0 -1 64 3 0 0 0 0 0 0 0 19 0 14 0 121057671 1829720064 19003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1640] ppid=1634 vsize=1786836 CPUtime=0 /proc/1636/task/1640/stat : 1640 (java) S 1634 1636 31837 0 -1 64 1 0 0 0 0 0 0 0 20 0 14 0 121057671 1829720064 19003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1641] ppid=1634 vsize=1786836 CPUtime=0 /proc/1636/task/1641/stat : 1641 (java) S 1634 1636 31837 0 -1 64 2 0 0 0 0 0 0 0 16 0 14 0 121057673 1829720064 19003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1642] ppid=1634 vsize=1786836 CPUtime=0 /proc/1636/task/1642/stat : 1642 (java) S 1634 1636 31837 0 -1 64 10 0 0 0 0 0 0 0 22 0 14 0 121057674 1829720064 19003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1643] ppid=1634 vsize=1786836 CPUtime=0 /proc/1636/task/1643/stat : 1643 (java) S 1634 1636 31837 0 -1 64 3 0 0 0 0 0 0 0 23 0 14 0 121057674 1829720064 19003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1644] ppid=1634 vsize=1786836 CPUtime=0 /proc/1636/task/1644/stat : 1644 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 24 0 14 0 121057677 1829720064 19003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1645] ppid=1634 vsize=1786836 CPUtime=0.44 /proc/1636/task/1645/stat : 1645 (java) R 1634 1636 31837 0 -1 64 1552 0 0 0 44 0 0 0 17 0 14 0 121057677 1829720064 19003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103319689 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1646] ppid=1634 vsize=1786836 CPUtime=0.26 /proc/1636/task/1646/stat : 1646 (java) S 1634 1636 31837 0 -1 64 850 0 0 0 26 0 0 0 16 0 14 0 121057677 1829720064 19003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1647] ppid=1634 vsize=1786836 CPUtime=0 /proc/1636/task/1647/stat : 1647 (java) S 1634 1636 31837 0 -1 64 2 0 0 0 0 0 0 0 25 0 14 0 121057677 1829720064 19003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1648] ppid=1634 vsize=1786836 CPUtime=0 /proc/1636/task/1648/stat : 1648 (java) S 1634 1636 31837 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 121057678 1829720064 19003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.98 Current children cumulated vsize (KiB) 1786836 [startup+3.1023 s] /proc/loadavg: 0.99 0.98 0.99 2/90 1669 /proc/meminfo: memFree=1698520/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1792764 CPUtime=4.15 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 45958 0 1 0 394 21 0 0 18 0 12 0 121057668 1835790336 42259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 448191 42259 1326 9 0 445803 0 [pid=1636/tid=1638] ppid=1634 vsize=1792764 CPUtime=2.77 /proc/1636/task/1638/stat : 1638 (java) R 1634 1636 31837 0 -1 64 37709 0 1 0 260 17 0 0 19 0 12 0 121057669 1835790336 42259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1639] ppid=1634 vsize=1792764 CPUtime=0.01 /proc/1636/task/1639/stat : 1639 (java) S 1634 1636 31837 0 -1 64 586 0 0 0 1 0 0 0 16 0 12 0 121057671 1835790336 42259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1640] ppid=1634 vsize=1792764 CPUtime=0 /proc/1636/task/1640/stat : 1640 (java) S 1634 1636 31837 0 -1 64 538 0 0 0 0 0 0 0 16 0 12 0 121057671 1835790336 42259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1641] ppid=1634 vsize=1792764 CPUtime=0 /proc/1636/task/1641/stat : 1641 (java) S 1634 1636 31837 0 -1 64 12 0 0 0 0 0 0 0 15 0 12 0 121057673 1835790336 42259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1642] ppid=1634 vsize=1792764 CPUtime=0 /proc/1636/task/1642/stat : 1642 (java) S 1634 1636 31837 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 121057674 1835790336 42259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1643] ppid=1634 vsize=1792764 CPUtime=0 /proc/1636/task/1643/stat : 1643 (java) S 1634 1636 31837 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 121057674 1835790336 42259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1644] ppid=1634 vsize=1792764 CPUtime=0 /proc/1636/task/1644/stat : 1644 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 121057677 1835790336 42259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1645] ppid=1634 vsize=1792764 CPUtime=1 /proc/1636/task/1645/stat : 1645 (java) S 1634 1636 31837 0 -1 64 5329 0 0 0 99 1 0 0 16 0 12 0 121057677 1835790336 42259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1646] ppid=1634 vsize=1792764 CPUtime=0.31 /proc/1636/task/1646/stat : 1646 (java) S 1634 1636 31837 0 -1 64 1058 0 0 0 31 0 0 0 16 0 12 0 121057677 1835790336 42259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1647] ppid=1634 vsize=1792764 CPUtime=0 /proc/1636/task/1647/stat : 1647 (java) S 1634 1636 31837 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 121057677 1835790336 42259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1648] ppid=1634 vsize=1792764 CPUtime=0 /proc/1636/task/1648/stat : 1648 (java) S 1634 1636 31837 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 121057678 1835790336 42259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.15 Current children cumulated vsize (KiB) 1792764 [startup+6.30165 s] /proc/loadavg: 1.23 1.03 1.01 2/90 1696 /proc/meminfo: memFree=1643712/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1792732 CPUtime=7.67 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 48077 0 1 0 744 23 0 0 18 0 13 0 121057668 1835757568 44051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 448183 44051 1334 9 0 445795 0 [pid=1636/tid=1638] ppid=1634 vsize=1792732 CPUtime=5.92 /proc/1636/task/1638/stat : 1638 (java) R 1634 1636 31837 0 -1 64 37727 0 1 0 575 17 0 0 18 0 13 0 121057669 1835757568 44051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109519462 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1639] ppid=1634 vsize=1792732 CPUtime=0.02 /proc/1636/task/1639/stat : 1639 (java) S 1634 1636 31837 0 -1 64 1472 0 0 0 2 0 0 0 16 0 13 0 121057671 1835757568 44051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1640] ppid=1634 vsize=1792732 CPUtime=0.02 /proc/1636/task/1640/stat : 1640 (java) S 1634 1636 31837 0 -1 64 1449 0 0 0 2 0 0 0 17 0 13 0 121057671 1835757568 44051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1641] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1641/stat : 1641 (java) S 1634 1636 31837 0 -1 64 16 0 0 0 0 0 0 0 17 0 13 0 121057673 1835757568 44051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1642] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1642/stat : 1642 (java) S 1634 1636 31837 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 44051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1643] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1643/stat : 1643 (java) S 1634 1636 31837 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 44051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1644] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1644/stat : 1644 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 121057677 1835757568 44051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1645] ppid=1634 vsize=1792732 CPUtime=1.16 /proc/1636/task/1645/stat : 1645 (java) S 1634 1636 31837 0 -1 64 5356 0 0 0 115 1 0 0 16 0 13 0 121057677 1835757568 44051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1646] ppid=1634 vsize=1792732 CPUtime=0.47 /proc/1636/task/1646/stat : 1646 (java) S 1634 1636 31837 0 -1 64 1317 0 0 0 47 0 0 0 15 0 13 0 121057677 1835757568 44051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1647] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1647/stat : 1647 (java) S 1634 1636 31837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121057677 1835757568 44051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1648] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1648/stat : 1648 (java) S 1634 1636 31837 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121057678 1835757568 44051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.67 Current children cumulated vsize (KiB) 1792732 [startup+12.7014 s] /proc/loadavg: 1.22 1.03 1.01 2/90 1724 /proc/meminfo: memFree=1633952/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1792732 CPUtime=14.24 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 53208 0 1 0 1398 26 0 0 18 0 13 0 121057668 1835757568 48246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 448183 48246 1334 9 0 445795 0 [pid=1636/tid=1638] ppid=1634 vsize=1792732 CPUtime=12.18 /proc/1636/task/1638/stat : 1638 (java) R 1634 1636 31837 0 -1 64 37755 0 1 0 1200 18 0 0 17 0 13 0 121057669 1835757568 48246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109553222 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1639] ppid=1634 vsize=1792732 CPUtime=0.12 /proc/1636/task/1639/stat : 1639 (java) S 1634 1636 31837 0 -1 64 3851 0 0 0 11 1 0 0 17 0 13 0 121057671 1835757568 48246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1640] ppid=1634 vsize=1792732 CPUtime=0.12 /proc/1636/task/1640/stat : 1640 (java) S 1634 1636 31837 0 -1 64 4088 0 0 0 11 1 0 0 17 0 13 0 121057671 1835757568 48246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1641] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1641/stat : 1641 (java) S 1634 1636 31837 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 121057673 1835757568 48246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1642] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1642/stat : 1642 (java) S 1634 1636 31837 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 48246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1643] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1643/stat : 1643 (java) S 1634 1636 31837 0 -1 64 36 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 48246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1644] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1644/stat : 1644 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 121057677 1835757568 48246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1645] ppid=1634 vsize=1792732 CPUtime=1.22 /proc/1636/task/1645/stat : 1645 (java) S 1634 1636 31837 0 -1 64 5357 0 0 0 121 1 0 0 16 0 13 0 121057677 1835757568 48246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1646] ppid=1634 vsize=1792732 CPUtime=0.52 /proc/1636/task/1646/stat : 1646 (java) S 1634 1636 31837 0 -1 64 1323 0 0 0 52 0 0 0 15 0 13 0 121057677 1835757568 48246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1647] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1647/stat : 1647 (java) S 1634 1636 31837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121057677 1835757568 48246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1648] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1648/stat : 1648 (java) S 1634 1636 31837 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121057678 1835757568 48246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.24 Current children cumulated vsize (KiB) 1792732 [startup+25.5027 s] /proc/loadavg: 1.17 1.03 1.01 2/90 1753 /proc/meminfo: memFree=1597192/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1792732 CPUtime=27.28 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 61494 0 1 0 2697 31 0 0 18 0 13 0 121057668 1835757568 55641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 448183 55641 1334 9 0 445795 0 [pid=1636/tid=1638] ppid=1634 vsize=1792732 CPUtime=24.8 /proc/1636/task/1638/stat : 1638 (java) R 1634 1636 31837 0 -1 64 37766 0 1 0 2462 18 0 0 25 0 13 0 121057669 1835757568 55641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109564168 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1639] ppid=1634 vsize=1792732 CPUtime=0.24 /proc/1636/task/1639/stat : 1639 (java) S 1634 1636 31837 0 -1 64 7995 0 0 0 21 3 0 0 16 0 13 0 121057671 1835757568 55641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1640] ppid=1634 vsize=1792732 CPUtime=0.25 /proc/1636/task/1640/stat : 1640 (java) S 1634 1636 31837 0 -1 64 8190 0 0 0 21 4 0 0 16 0 13 0 121057671 1835757568 55641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1641] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1641/stat : 1641 (java) S 1634 1636 31837 0 -1 64 37 0 0 0 0 0 0 0 16 0 13 0 121057673 1835757568 55641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1642] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1642/stat : 1642 (java) S 1634 1636 31837 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 55641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1643] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1643/stat : 1643 (java) S 1634 1636 31837 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 55641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1644] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1644/stat : 1644 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 121057677 1835757568 55641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=1636] ppid=1634 vsize=1792732 CPUtime=1675.45 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 198510 0 1 0 167421 124 0 0 18 0 13 0 121057668 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 448183 108748 1334 9 0 445795 0 [pid=1636/tid=1638] ppid=1634 vsize=1792732 CPUtime=1648.17 /proc/1636/task/1638/stat : 1638 (java) R 1634 1636 31837 0 -1 64 80604 0 1 0 164763 54 0 0 25 0 13 0 121057669 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109553718 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1639] ppid=1634 vsize=1792732 CPUtime=12.48 /proc/1636/task/1639/stat : 1639 (java) S 1634 1636 31837 0 -1 64 54862 0 0 0 1222 26 0 0 16 0 13 0 121057671 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1640] ppid=1634 vsize=1792732 CPUtime=12.53 /proc/1636/task/1640/stat : 1640 (java) S 1634 1636 31837 0 -1 64 55350 0 0 0 1228 25 0 0 17 0 13 0 121057671 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1641] ppid=1634 vsize=1792732 CPUtime=0.25 /proc/1636/task/1641/stat : 1641 (java) S 1634 1636 31837 0 -1 64 188 0 0 0 11 14 0 0 16 0 13 0 121057673 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1642] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1642/stat : 1642 (java) S 1634 1636 31837 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1643] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1643/stat : 1643 (java) S 1634 1636 31837 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1644] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1644/stat : 1644 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 121057677 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1645] ppid=1634 vsize=1792732 CPUtime=1.36 /proc/1636/task/1645/stat : 1645 (java) S 1634 1636 31837 0 -1 64 5370 0 0 0 135 1 0 0 17 0 13 0 121057677 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1646] ppid=1634 vsize=1792732 CPUtime=0.56 /proc/1636/task/1646/stat : 1646 (java) S 1634 1636 31837 0 -1 64 1324 0 0 0 56 0 0 0 16 0 13 0 121057677 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1647] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1647/stat : 1647 (java) S 1634 1636 31837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121057677 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1648] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1648/stat : 1648 (java) S 1634 1636 31837 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121057678 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=2065] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/2065/stat : 2065 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 121172699 1835757568 108748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1675.45 Current children cumulated vsize (KiB) 1792732 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.00 2/90 2065 /proc/meminfo: memFree=1349816/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1792732 CPUtime=1735.89 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 207560 0 1 0 173460 129 0 0 18 0 13 0 121057668 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 448183 116975 1334 9 0 445795 0 [pid=1636/tid=1638] ppid=1634 vsize=1792732 CPUtime=1707.58 /proc/1636/task/1638/stat : 1638 (java) R 1634 1636 31837 0 -1 64 85617 0 1 0 170701 57 0 0 25 0 13 0 121057669 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109564168 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1639] ppid=1634 vsize=1792732 CPUtime=13 /proc/1636/task/1639/stat : 1639 (java) S 1634 1636 31837 0 -1 64 57745 0 0 0 1272 28 0 0 16 0 13 0 121057671 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1640] ppid=1634 vsize=1792732 CPUtime=13.05 /proc/1636/task/1640/stat : 1640 (java) S 1634 1636 31837 0 -1 64 56481 0 0 0 1280 25 0 0 17 0 13 0 121057671 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1641] ppid=1634 vsize=1792732 CPUtime=0.25 /proc/1636/task/1641/stat : 1641 (java) S 1634 1636 31837 0 -1 64 211 0 0 0 11 14 0 0 16 0 13 0 121057673 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1642] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1642/stat : 1642 (java) S 1634 1636 31837 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1643] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1643/stat : 1643 (java) S 1634 1636 31837 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1644] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1644/stat : 1644 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 121057677 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1645] ppid=1634 vsize=1792732 CPUtime=1.36 /proc/1636/task/1645/stat : 1645 (java) S 1634 1636 31837 0 -1 64 5370 0 0 0 135 1 0 0 17 0 13 0 121057677 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1646] ppid=1634 vsize=1792732 CPUtime=0.56 /proc/1636/task/1646/stat : 1646 (java) S 1634 1636 31837 0 -1 64 1324 0 0 0 56 0 0 0 16 0 13 0 121057677 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1647] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1647/stat : 1647 (java) S 1634 1636 31837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121057677 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1648] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1648/stat : 1648 (java) S 1634 1636 31837 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121057678 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=2065] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/2065/stat : 2065 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 121172699 1835757568 116975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1735.89 Current children cumulated vsize (KiB) 1792732 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.00 3/90 2065 /proc/meminfo: memFree=1325816/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1792732 CPUtime=1796.22 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 214883 0 1 0 179490 132 0 0 18 0 13 0 121057668 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 448183 122911 1334 9 0 445795 0 [pid=1636/tid=1638] ppid=1634 vsize=1792732 CPUtime=1767.11 /proc/1636/task/1638/stat : 1638 (java) R 1634 1636 31837 0 -1 64 90991 0 1 0 176652 59 0 0 25 0 13 0 121057669 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109564168 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1639] ppid=1634 vsize=1792732 CPUtime=13.38 /proc/1636/task/1639/stat : 1639 (java) S 1634 1636 31837 0 -1 64 58613 0 0 0 1310 28 0 0 16 0 13 0 121057671 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1640] ppid=1634 vsize=1792732 CPUtime=13.46 /proc/1636/task/1640/stat : 1640 (java) S 1634 1636 31837 0 -1 64 57561 0 0 0 1320 26 0 0 17 0 13 0 121057671 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1641] ppid=1634 vsize=1792732 CPUtime=0.25 /proc/1636/task/1641/stat : 1641 (java) S 1634 1636 31837 0 -1 64 212 0 0 0 11 14 0 0 16 0 13 0 121057673 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1642] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1642/stat : 1642 (java) S 1634 1636 31837 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1643] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1643/stat : 1643 (java) S 1634 1636 31837 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1644] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1644/stat : 1644 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 121057677 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1645] ppid=1634 vsize=1792732 CPUtime=1.36 /proc/1636/task/1645/stat : 1645 (java) S 1634 1636 31837 0 -1 64 5370 0 0 0 135 1 0 0 17 0 13 0 121057677 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1646] ppid=1634 vsize=1792732 CPUtime=0.56 /proc/1636/task/1646/stat : 1646 (java) S 1634 1636 31837 0 -1 64 1324 0 0 0 56 0 0 0 16 0 13 0 121057677 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1647] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1647/stat : 1647 (java) S 1634 1636 31837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121057677 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1648] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1648/stat : 1648 (java) S 1634 1636 31837 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121057678 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=2065] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/2065/stat : 2065 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 121172699 1835757568 122911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 1792732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.1 s] /proc/loadavg: 1.01 1.00 1.00 2/90 2065 /proc/meminfo: memFree=1325752/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1792732 CPUtime=1800.06 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 214985 0 1 0 179874 132 0 0 18 0 13 0 121057668 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 448183 122932 1334 9 0 445795 0 [pid=1636/tid=1638] ppid=1634 vsize=1792732 CPUtime=1770.88 /proc/1636/task/1638/stat : 1638 (java) R 1634 1636 31837 0 -1 64 90992 0 1 0 177029 59 0 0 25 0 13 0 121057669 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109553438 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1639] ppid=1634 vsize=1792732 CPUtime=13.41 /proc/1636/task/1639/stat : 1639 (java) S 1634 1636 31837 0 -1 64 58613 0 0 0 1313 28 0 0 16 0 13 0 121057671 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1640] ppid=1634 vsize=1792732 CPUtime=13.5 /proc/1636/task/1640/stat : 1640 (java) S 1634 1636 31837 0 -1 64 57662 0 0 0 1324 26 0 0 16 0 13 0 121057671 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1641] ppid=1634 vsize=1792732 CPUtime=0.25 /proc/1636/task/1641/stat : 1641 (java) S 1634 1636 31837 0 -1 64 212 0 0 0 11 14 0 0 16 0 13 0 121057673 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1642] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1642/stat : 1642 (java) S 1634 1636 31837 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1643] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1643/stat : 1643 (java) S 1634 1636 31837 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1644] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1644/stat : 1644 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 121057677 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1645] ppid=1634 vsize=1792732 CPUtime=1.36 /proc/1636/task/1645/stat : 1645 (java) S 1634 1636 31837 0 -1 64 5370 0 0 0 135 1 0 0 17 0 13 0 121057677 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1646] ppid=1634 vsize=1792732 CPUtime=0.56 /proc/1636/task/1646/stat : 1646 (java) S 1634 1636 31837 0 -1 64 1324 0 0 0 56 0 0 0 16 0 13 0 121057677 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1647] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1647/stat : 1647 (java) S 1634 1636 31837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121057677 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1648] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1648/stat : 1648 (java) S 1634 1636 31837 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121057678 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=2065] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/2065/stat : 2065 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 121172699 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1792732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1786.1 s] /proc/loadavg: 1.01 1.00 1.00 2/90 2065 /proc/meminfo: memFree=1325752/2055920 swapFree=4158520/4192956 [pid=1636] ppid=1634 vsize=1792732 CPUtime=1800.06 /proc/1636/stat : 1636 (java) S 1634 1636 31837 0 -1 0 214985 0 1 0 179874 132 0 0 18 0 13 0 121057668 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1636/statm: 448183 122932 1334 9 0 445795 0 [pid=1636/tid=1638] ppid=1634 vsize=1792732 CPUtime=1770.88 /proc/1636/task/1638/stat : 1638 (java) R 1634 1636 31837 0 -1 64 90992 0 1 0 177029 59 0 0 25 0 13 0 121057669 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109553438 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1639] ppid=1634 vsize=1792732 CPUtime=13.41 /proc/1636/task/1639/stat : 1639 (java) S 1634 1636 31837 0 -1 64 58613 0 0 0 1313 28 0 0 16 0 13 0 121057671 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1640] ppid=1634 vsize=1792732 CPUtime=13.5 /proc/1636/task/1640/stat : 1640 (java) S 1634 1636 31837 0 -1 64 57662 0 0 0 1324 26 0 0 16 0 13 0 121057671 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1641] ppid=1634 vsize=1792732 CPUtime=0.25 /proc/1636/task/1641/stat : 1641 (java) S 1634 1636 31837 0 -1 64 212 0 0 0 11 14 0 0 16 0 13 0 121057673 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1642] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1642/stat : 1642 (java) S 1634 1636 31837 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1643] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1643/stat : 1643 (java) S 1634 1636 31837 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 121057674 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1644] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1644/stat : 1644 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 121057677 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1645] ppid=1634 vsize=1792732 CPUtime=1.36 /proc/1636/task/1645/stat : 1645 (java) S 1634 1636 31837 0 -1 64 5370 0 0 0 135 1 0 0 17 0 13 0 121057677 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1636/tid=1646] ppid=1634 vsize=1792732 CPUtime=0.56 /proc/1636/task/1646/stat : 1646 (java) S 1634 1636 31837 0 -1 64 1324 0 0 0 56 0 0 0 16 0 13 0 121057677 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1647] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1647/stat : 1647 (java) S 1634 1636 31837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121057677 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=1648] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/1648/stat : 1648 (java) S 1634 1636 31837 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121057678 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1636/tid=2065] ppid=1634 vsize=1792732 CPUtime=0 /proc/1636/task/2065/stat : 2065 (java) S 1634 1636 31837 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 121172699 1835757568 122932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1792732 Child status: 143 Real time (s): 1786.2 CPU time (s): 1800.17 CPU user time (s): 1798.77 CPU system time (s): 1.40479 CPU usage (%): 100.782 Max. virtual memory (cumulated for all children) (KiB): 1794816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.77 system time used= 1.40479 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 214999 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= 45417 involuntary context switches= 56391 runsolver used 1.78273 second user time and 4.87126 second system time The end
Begin job on node24 on Mon Apr 16 13:49:56 UTC 2007 IDJOB= 354904 IDBENCH= 2920 IDSOLVER= 159 FILE ID= node24/354904-1176731396 PBS_JOBID= 4559492 Free space on /tmp= 66520 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354904-1176731396/sat4jPseudoResolution.jar /tmp/evaluation/354904-1176731396/instance-354904-1176731396.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-354904-1176731396 -o ROOT/results/node24/solver-354904-1176731396 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354904-1176731396/sat4jPseudoResolution.jar /tmp/evaluation/354904-1176731396/instance-354904-1176731396.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED= 806984962 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.238 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.238 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: 1816344 kB Buffers: 33104 kB Cached: 122900 kB SwapCached: 2844 kB Active: 60892 kB Inactive: 120024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816344 kB SwapTotal: 4192956 kB SwapFree: 4158520 kB Dirty: 3704 kB Writeback: 0 kB Mapped: 32188 kB Slab: 44232 kB Committed_AS: 1788580 kB PageTables: 1780 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= 66520 MiB End job on node24 on Mon Apr 16 14:19:45 UTC 2007