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_1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_1.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_1.wcnf
c reading problem ... 
c ... done. Wall clock time 0.089s.
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.475
o 1748
c Got one! Elapsed wall clock time (in seconds):0.818
o 1747
c Got one! Elapsed wall clock time (in seconds):1.04
o 1746
c Got one! Elapsed wall clock time (in seconds):1.574
o 1745
c Got one! Elapsed wall clock time (in seconds):1.829
o 1744
c Got one! Elapsed wall clock time (in seconds):2.028
o 863
c Got one! Elapsed wall clock time (in seconds):2.155
o 862
c Got one! Elapsed wall clock time (in seconds):2.278
o 861
c Got one! Elapsed wall clock time (in seconds):2.383
o 860
c Got one! Elapsed wall clock time (in seconds):2.466
o 859
c Got one! Elapsed wall clock time (in seconds):2.541
o 856
c Got one! Elapsed wall clock time (in seconds):2.605
o 853
c Got one! Elapsed wall clock time (in seconds):2.697
o 852
c Got one! Elapsed wall clock time (in seconds):2.781
o 851
c Got one! Elapsed wall clock time (in seconds):2.881
o 850
c Got one! Elapsed wall clock time (in seconds):2.966
o 849
c Got one! Elapsed wall clock time (in seconds):3.057
o 847
c Got one! Elapsed wall clock time (in seconds):3.131
o 843
c Got one! Elapsed wall clock time (in seconds):3.237
o 841
c Got one! Elapsed wall clock time (in seconds):3.322
o 839
c Got one! Elapsed wall clock time (in seconds):3.403
o 837
c Got one! Elapsed wall clock time (in seconds):3.509
o 836
c Got one! Elapsed wall clock time (in seconds):3.597
o 835
c Got one! Elapsed wall clock time (in seconds):3.682
o 833
c Got one! Elapsed wall clock time (in seconds):3.775
o 832
c Got one! Elapsed wall clock time (in seconds):3.856
o 831
c Got one! Elapsed wall clock time (in seconds):3.942
o 830
c Got one! Elapsed wall clock time (in seconds):4.032
o 829
c Got one! Elapsed wall clock time (in seconds):4.124
o 828
c Got one! Elapsed wall clock time (in seconds):4.218
o 827
c Got one! Elapsed wall clock time (in seconds):4.317
o 826
c Got one! Elapsed wall clock time (in seconds):4.412
o 824
c Got one! Elapsed wall clock time (in seconds):4.518
o 823
c Got one! Elapsed wall clock time (in seconds):4.63
o 821
c Got one! Elapsed wall clock time (in seconds):4.729
o 820
c Got one! Elapsed wall clock time (in seconds):4.823
o 819
c Got one! Elapsed wall clock time (in seconds):4.92
o 817
c Got one! Elapsed wall clock time (in seconds):5.013
o 815
c Got one! Elapsed wall clock time (in seconds):5.13
o 810
c Got one! Elapsed wall clock time (in seconds):5.235
o 807
c Got one! Elapsed wall clock time (in seconds):5.346
o 806
c Got one! Elapsed wall clock time (in seconds):5.442
o 805
c Got one! Elapsed wall clock time (in seconds):5.558
o 802
c Got one! Elapsed wall clock time (in seconds):5.655
o 800
c Got one! Elapsed wall clock time (in seconds):5.761
o 799
c Got one! Elapsed wall clock time (in seconds):5.869
o 797
c Got one! Elapsed wall clock time (in seconds):5.973
o 796
c Got one! Elapsed wall clock time (in seconds):6.077
o 795
c Got one! Elapsed wall clock time (in seconds):6.187
o 793
c Got one! Elapsed wall clock time (in seconds):6.291
o 792
c Got one! Elapsed wall clock time (in seconds):6.425
o 790
c Got one! Elapsed wall clock time (in seconds):6.541
o 789
c Got one! Elapsed wall clock time (in seconds):6.664
o 788
c Got one! Elapsed wall clock time (in seconds):6.768
o 787
c Got one! Elapsed wall clock time (in seconds):6.883
o 786
c Got one! Elapsed wall clock time (in seconds):7.004
o 783
c Got one! Elapsed wall clock time (in seconds):7.149
o 779
c Got one! Elapsed wall clock time (in seconds):7.271
o 778
c Got one! Elapsed wall clock time (in seconds):7.393
o 777
c Got one! Elapsed wall clock time (in seconds):7.509
o 776
c Got one! Elapsed wall clock time (in seconds):7.631
o 775
c Got one! Elapsed wall clock time (in seconds):7.753
o 772
c Got one! Elapsed wall clock time (in seconds):7.886
o 771
c Got one! Elapsed wall clock time (in seconds):8.002
o 770
c Got one! Elapsed wall clock time (in seconds):8.146
o 769
c Got one! Elapsed wall clock time (in seconds):8.266
o 768
c Got one! Elapsed wall clock time (in seconds):8.408
o 767
c Got one! Elapsed wall clock time (in seconds):8.551
o 766
c Got one! Elapsed wall clock time (in seconds):8.681
o 765
c Got one! Elapsed wall clock time (in seconds):8.808
o 762
c Got one! Elapsed wall clock time (in seconds):8.915
o 760
c Got one! Elapsed wall clock time (in seconds):9.048
o 757
c Got one! Elapsed wall clock time (in seconds):9.213
o 756
c Got one! Elapsed wall clock time (in seconds):9.342
o 755
c Got one! Elapsed wall clock time (in seconds):9.468
o 754
c Got one! Elapsed wall clock time (in seconds):9.599
o 753
c Got one! Elapsed wall clock time (in seconds):9.722
o 752
c Got one! Elapsed wall clock time (in seconds):9.904
o 751
c Got one! Elapsed wall clock time (in seconds):10.086
o 748
c Got one! Elapsed wall clock time (in seconds):10.223
o 744
c Got one! Elapsed wall clock time (in seconds):10.329
o 743
c Got one! Elapsed wall clock time (in seconds):10.516
o 742
c Got one! Elapsed wall clock time (in seconds):10.672
o 741
c Got one! Elapsed wall clock time (in seconds):10.821
o 740
c Got one! Elapsed wall clock time (in seconds):10.95
o 739
c Got one! Elapsed wall clock time (in seconds):11.089
o 738
c Got one! Elapsed wall clock time (in seconds):11.207
o 737
c Got one! Elapsed wall clock time (in seconds):11.345
o 735
c Got one! Elapsed wall clock time (in seconds):11.475
o 734
c Got one! Elapsed wall clock time (in seconds):11.703
o 733
c Got one! Elapsed wall clock time (in seconds):11.938
o 732
c Got one! Elapsed wall clock time (in seconds):12.203
o 728
c Got one! Elapsed wall clock time (in seconds):12.386
o 726
c Got one! Elapsed wall clock time (in seconds):12.606
o 724
c Got one! Elapsed wall clock time (in seconds):12.764
o 722
c Got one! Elapsed wall clock time (in seconds):12.93
o 721
c Got one! Elapsed wall clock time (in seconds):13.096
o 717
c Got one! Elapsed wall clock time (in seconds):13.322
o 716
c Got one! Elapsed wall clock time (in seconds):13.524
o 714
c Got one! Elapsed wall clock time (in seconds):13.717
o 713
c Got one! Elapsed wall clock time (in seconds):13.891
o 712
c Got one! Elapsed wall clock time (in seconds):14.042
o 711
c Got one! Elapsed wall clock time (in seconds):14.216
o 710
c Got one! Elapsed wall clock time (in seconds):14.36
o 709
c Got one! Elapsed wall clock time (in seconds):14.562
o 708
c Got one! Elapsed wall clock time (in seconds):14.742
o 707
c Got one! Elapsed wall clock time (in seconds):14.904
o 706
c Got one! Elapsed wall clock time (in seconds):15.099
o 705
c Got one! Elapsed wall clock time (in seconds):15.297
o 704
c Got one! Elapsed wall clock time (in seconds):15.466
o 703
c Got one! Elapsed wall clock time (in seconds):15.633
o 702
c Got one! Elapsed wall clock time (in seconds):15.817
o 701
c Got one! Elapsed wall clock time (in seconds):15.996
o 699
c Got one! Elapsed wall clock time (in seconds):16.205
o 698
c Got one! Elapsed wall clock time (in seconds):16.378
o 697
c Got one! Elapsed wall clock time (in seconds):16.565
o 696
c Got one! Elapsed wall clock time (in seconds):16.735
o 694
c Got one! Elapsed wall clock time (in seconds):16.931
o 693
c Got one! Elapsed wall clock time (in seconds):17.11
o 692
c Got one! Elapsed wall clock time (in seconds):17.285
o 691
c Got one! Elapsed wall clock time (in seconds):17.561
o 690
c Got one! Elapsed wall clock time (in seconds):17.772
o 689
c Got one! Elapsed wall clock time (in seconds):18.001
o 688
c Got one! Elapsed wall clock time (in seconds):18.205
o 687
c Got one! Elapsed wall clock time (in seconds):18.413
o 686
c Got one! Elapsed wall clock time (in seconds):18.626
o 684
c Got one! Elapsed wall clock time (in seconds):18.81
o 681
c Got one! Elapsed wall clock time (in seconds):19.018
o 680
c Got one! Elapsed wall clock time (in seconds):19.188
o 679
c Got one! Elapsed wall clock time (in seconds):19.357
o 678
c Got one! Elapsed wall clock time (in seconds):19.647
o 677
c Got one! Elapsed wall clock time (in seconds):19.846
o 676
c Got one! Elapsed wall clock time (in seconds):20.105
o 675
c Got one! Elapsed wall clock time (in seconds):20.328
o 674
c Got one! Elapsed wall clock time (in seconds):20.524
o 673
c Got one! Elapsed wall clock time (in seconds):20.696
o 672
c Got one! Elapsed wall clock time (in seconds):20.934
o 670
c Got one! Elapsed wall clock time (in seconds):21.082
o 669
c Got one! Elapsed wall clock time (in seconds):21.298
o 668
c Got one! Elapsed wall clock time (in seconds):21.53
o 667
c Got one! Elapsed wall clock time (in seconds):21.734
o 666
c Got one! Elapsed wall clock time (in seconds):21.946
o 665
c Got one! Elapsed wall clock time (in seconds):22.129
o 664
c Got one! Elapsed wall clock time (in seconds):22.309
o 663
c Got one! Elapsed wall clock time (in seconds):22.479
o 662
c Got one! Elapsed wall clock time (in seconds):22.654
o 661
c Got one! Elapsed wall clock time (in seconds):22.869
o 660
c Got one! Elapsed wall clock time (in seconds):23.07
o 658
c Got one! Elapsed wall clock time (in seconds):23.305
o 657
c Got one! Elapsed wall clock time (in seconds):23.554
o 656
c Got one! Elapsed wall clock time (in seconds):23.802
o 655
c Got one! Elapsed wall clock time (in seconds):24.014
o 654
c Got one! Elapsed wall clock time (in seconds):24.248
o 653
c Got one! Elapsed wall clock time (in seconds):24.415
o 652
c Got one! Elapsed wall clock time (in seconds):24.67
o 649
c Got one! Elapsed wall clock time (in seconds):24.855
o 648
c Got one! Elapsed wall clock time (in seconds):25.082
o 646
c Got one! Elapsed wall clock time (in seconds):25.381
o 645
c Got one! Elapsed wall clock time (in seconds):25.563
o 643
c Got one! Elapsed wall clock time (in seconds):25.751
o 641
c Got one! Elapsed wall clock time (in seconds):25.947
o 640
c Got one! Elapsed wall clock time (in seconds):26.118
o 639
c Got one! Elapsed wall clock time (in seconds):26.412
o 637
c Got one! Elapsed wall clock time (in seconds):26.66
o 636
c Got one! Elapsed wall clock time (in seconds):26.877
o 635
c Got one! Elapsed wall clock time (in seconds):26.989
o 137
c cleaning 480498 clauses out of 961000
c cleaning 435993 clauses out of 872002
c cleaning 358748 clauses out of 717509
c cleaning 382877 clauses out of 765761
Killed
1837.851u 0.580s 30:39.36 99.9%	0+0k 0+0io 1pf+0w