Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-SAT4J-Maxsat-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax3sat_hi_file_rwpms_wcnf_L3_V100_C700_H100_7.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_7.wcnf Job solver: /home/jplanes/evaluation/solvers/DanielLeBerre/SAT4J-Maxsat c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre c This is free software under the dual EPL/GNU LGPL licenses. c See www.sat4j.org for details. c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. c version 2.1.0.v20090425 c sun.arch.data.model 64 c java.version 1.5.0 c os.name Linux c os.version 2.6.9-5.0.5.ELsmp c os.arch amd64 c Free memory 403233816 c Max memory 405471232 c Total memory 405471232 c Number of processors 2 c c --- Begin Solver configuration --- c Stops conflict analysis at the first Unique Implication Point c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@7c64dc11 c Learn all clauses as in MiniSAT c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function c Expensive reason simplification c MiniSAT restarts strategy c Memory based learned constraints deletion strategy c timeout=2147483s c DB Simplification allowed=false c --- End Solver configuration --- c solving /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_7.wcnf c reading problem ... c ... done. Wall clock time 0.085s. c #vars 800 c #constraints 700 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 700 c OPTIMIZING... c Got one! Elapsed wall clock time (in seconds):0.504 o 1702 c Got one! Elapsed wall clock time (in seconds):0.795 o 1701 c Got one! Elapsed wall clock time (in seconds):0.996 o 1700 c Got one! Elapsed wall clock time (in seconds):1.251 o 1699 c Got one! Elapsed wall clock time (in seconds):1.472 o 1698 c Got one! Elapsed wall clock time (in seconds):1.584 o 1697 c Got one! Elapsed wall clock time (in seconds):1.677 o 1696 c Got one! Elapsed wall clock time (in seconds):1.956 o 775 c Got one! Elapsed wall clock time (in seconds):2.06 o 774 c Got one! Elapsed wall clock time (in seconds):2.126 o 773 c Got one! Elapsed wall clock time (in seconds):2.2 o 771 c Got one! Elapsed wall clock time (in seconds):2.266 o 770 c Got one! Elapsed wall clock time (in seconds):2.372 o 769 c Got one! Elapsed wall clock time (in seconds):2.465 o 768 c Got one! Elapsed wall clock time (in seconds):2.55 o 766 c Got one! Elapsed wall clock time (in seconds):2.642 o 765 c Got one! Elapsed wall clock time (in seconds):2.716 o 763 c Got one! Elapsed wall clock time (in seconds):2.795 o 761 c Got one! Elapsed wall clock time (in seconds):2.874 o 759 c Got one! Elapsed wall clock time (in seconds):2.949 o 758 c Got one! Elapsed wall clock time (in seconds):3.024 o 757 c Got one! Elapsed wall clock time (in seconds):3.104 o 756 c Got one! Elapsed wall clock time (in seconds):3.184 o 755 c Got one! Elapsed wall clock time (in seconds):3.265 o 754 c Got one! Elapsed wall clock time (in seconds):3.335 o 751 c Got one! Elapsed wall clock time (in seconds):3.415 o 750 c Got one! Elapsed wall clock time (in seconds):3.499 o 749 c Got one! Elapsed wall clock time (in seconds):3.588 o 748 c Got one! Elapsed wall clock time (in seconds):3.676 o 747 c Got one! Elapsed wall clock time (in seconds):3.754 o 746 c Got one! Elapsed wall clock time (in seconds):3.862 o 745 c Got one! Elapsed wall clock time (in seconds):3.956 o 744 c Got one! Elapsed wall clock time (in seconds):4.045 o 743 c Got one! Elapsed wall clock time (in seconds):4.132 o 742 c Got one! Elapsed wall clock time (in seconds):4.228 o 741 c Got one! Elapsed wall clock time (in seconds):4.317 o 740 c Got one! Elapsed wall clock time (in seconds):4.422 o 739 c Got one! Elapsed wall clock time (in seconds):4.51 o 738 c Got one! Elapsed wall clock time (in seconds):4.619 o 737 c Got one! Elapsed wall clock time (in seconds):4.705 o 736 c Got one! Elapsed wall clock time (in seconds):4.794 o 735 c Got one! Elapsed wall clock time (in seconds):4.889 o 734 c Got one! Elapsed wall clock time (in seconds):4.998 o 733 c Got one! Elapsed wall clock time (in seconds):5.103 o 732 c Got one! Elapsed wall clock time (in seconds):5.193 o 730 c Got one! Elapsed wall clock time (in seconds):5.3 o 729 c Got one! Elapsed wall clock time (in seconds):5.399 o 728 c Got one! Elapsed wall clock time (in seconds):5.494 o 726 c Got one! Elapsed wall clock time (in seconds):5.597 o 724 c Got one! Elapsed wall clock time (in seconds):5.693 o 722 c Got one! Elapsed wall clock time (in seconds):5.788 o 720 c Got one! Elapsed wall clock time (in seconds):5.906 o 718 c Got one! Elapsed wall clock time (in seconds):6.011 o 717 c Got one! Elapsed wall clock time (in seconds):6.107 o 716 c Got one! Elapsed wall clock time (in seconds):6.221 o 715 c Got one! Elapsed wall clock time (in seconds):6.331 o 714 c Got one! Elapsed wall clock time (in seconds):6.458 o 713 c Got one! Elapsed wall clock time (in seconds):6.59 o 710 c Got one! Elapsed wall clock time (in seconds):6.699 o 708 c Got one! Elapsed wall clock time (in seconds):6.828 o 707 c Got one! Elapsed wall clock time (in seconds):6.931 o 706 c Got one! Elapsed wall clock time (in seconds):7.049 o 705 c Got one! Elapsed wall clock time (in seconds):7.166 o 704 c Got one! Elapsed wall clock time (in seconds):7.289 o 703 c Got one! Elapsed wall clock time (in seconds):7.403 o 702 c Got one! Elapsed wall clock time (in seconds):7.512 o 701 c Got one! Elapsed wall clock time (in seconds):7.663 o 700 c Got one! Elapsed wall clock time (in seconds):7.754 o 699 c Got one! Elapsed wall clock time (in seconds):7.858 o 698 c Got one! Elapsed wall clock time (in seconds):7.967 o 697 c Got one! Elapsed wall clock time (in seconds):8.071 o 695 c Got one! Elapsed wall clock time (in seconds):8.198 o 694 c Got one! Elapsed wall clock time (in seconds):8.25 o 216 c Got one! Elapsed wall clock time (in seconds):8.277 o 154 c Got one! Elapsed wall clock time (in seconds):8.288 o 126 c cleaning 506249 clauses out of 1012500 c cleaning 449124 clauses out of 898252 c cleaning 423807 clauses out of 847629 Killed 1834.507u 0.838s 30:37.45 99.8% 0+0k 0+0io 1pf+0w