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_2.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_2.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_2.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.503
o 1765
c Got one! Elapsed wall clock time (in seconds):0.956
o 1764
c Got one! Elapsed wall clock time (in seconds):1.076
o 1763
c Got one! Elapsed wall clock time (in seconds):1.469
o 1762
c Got one! Elapsed wall clock time (in seconds):1.759
o 1071
c Got one! Elapsed wall clock time (in seconds):1.877
o 930
c Got one! Elapsed wall clock time (in seconds):2.039
o 929
c Got one! Elapsed wall clock time (in seconds):2.236
o 928
c Got one! Elapsed wall clock time (in seconds):2.35
o 927
c Got one! Elapsed wall clock time (in seconds):2.434
o 926
c Got one! Elapsed wall clock time (in seconds):2.508
o 923
c Got one! Elapsed wall clock time (in seconds):2.588
o 922
c Got one! Elapsed wall clock time (in seconds):2.668
o 921
c Got one! Elapsed wall clock time (in seconds):2.752
o 920
c Got one! Elapsed wall clock time (in seconds):2.847
o 919
c Got one! Elapsed wall clock time (in seconds):2.923
o 918
c Got one! Elapsed wall clock time (in seconds):3.027
o 917
c Got one! Elapsed wall clock time (in seconds):3.107
o 916
c Got one! Elapsed wall clock time (in seconds):3.183
o 914
c Got one! Elapsed wall clock time (in seconds):3.264
o 913
c Got one! Elapsed wall clock time (in seconds):3.35
o 912
c Got one! Elapsed wall clock time (in seconds):3.429
o 909
c Got one! Elapsed wall clock time (in seconds):3.502
o 906
c Got one! Elapsed wall clock time (in seconds):3.589
o 903
c Got one! Elapsed wall clock time (in seconds):3.659
o 901
c Got one! Elapsed wall clock time (in seconds):3.755
o 900
c Got one! Elapsed wall clock time (in seconds):3.832
o 896
c Got one! Elapsed wall clock time (in seconds):3.912
o 895
c Got one! Elapsed wall clock time (in seconds):3.987
o 894
c Got one! Elapsed wall clock time (in seconds):4.072
o 892
c Got one! Elapsed wall clock time (in seconds):4.152
o 891
c Got one! Elapsed wall clock time (in seconds):4.235
o 889
c Got one! Elapsed wall clock time (in seconds):4.329
o 888
c Got one! Elapsed wall clock time (in seconds):4.418
o 886
c Got one! Elapsed wall clock time (in seconds):4.498
o 885
c Got one! Elapsed wall clock time (in seconds):4.603
o 884
c Got one! Elapsed wall clock time (in seconds):4.698
o 883
c Got one! Elapsed wall clock time (in seconds):4.797
o 882
c Got one! Elapsed wall clock time (in seconds):4.883
o 880
c Got one! Elapsed wall clock time (in seconds):4.961
o 878
c Got one! Elapsed wall clock time (in seconds):5.065
o 877
c Got one! Elapsed wall clock time (in seconds):5.151
o 875
c Got one! Elapsed wall clock time (in seconds):5.291
o 874
c Got one! Elapsed wall clock time (in seconds):5.406
o 873
c Got one! Elapsed wall clock time (in seconds):5.506
o 872
c Got one! Elapsed wall clock time (in seconds):5.615
o 871
c Got one! Elapsed wall clock time (in seconds):5.716
o 870
c Got one! Elapsed wall clock time (in seconds):5.817
o 869
c Got one! Elapsed wall clock time (in seconds):5.916
o 866
c Got one! Elapsed wall clock time (in seconds):6.016
o 863
c Got one! Elapsed wall clock time (in seconds):6.111
o 860
c Got one! Elapsed wall clock time (in seconds):6.211
o 859
c Got one! Elapsed wall clock time (in seconds):6.314
o 858
c Got one! Elapsed wall clock time (in seconds):6.423
o 854
c Got one! Elapsed wall clock time (in seconds):6.527
o 852
c Got one! Elapsed wall clock time (in seconds):6.628
o 851
c Got one! Elapsed wall clock time (in seconds):6.729
o 850
c Got one! Elapsed wall clock time (in seconds):6.834
o 848
c Got one! Elapsed wall clock time (in seconds):6.939
o 846
c Got one! Elapsed wall clock time (in seconds):7.074
o 845
c Got one! Elapsed wall clock time (in seconds):7.181
o 844
c Got one! Elapsed wall clock time (in seconds):7.282
o 839
c Got one! Elapsed wall clock time (in seconds):7.39
o 838
c Got one! Elapsed wall clock time (in seconds):7.503
o 837
c Got one! Elapsed wall clock time (in seconds):7.647
o 835
c Got one! Elapsed wall clock time (in seconds):7.764
o 834
c Got one! Elapsed wall clock time (in seconds):7.878
o 833
c Got one! Elapsed wall clock time (in seconds):8.013
o 831
c Got one! Elapsed wall clock time (in seconds):8.136
o 830
c Got one! Elapsed wall clock time (in seconds):8.251
o 825
c Got one! Elapsed wall clock time (in seconds):8.36
o 823
c Got one! Elapsed wall clock time (in seconds):8.481
o 821
c Got one! Elapsed wall clock time (in seconds):8.608
o 819
c Got one! Elapsed wall clock time (in seconds):8.735
o 818
c Got one! Elapsed wall clock time (in seconds):8.856
o 817
c Got one! Elapsed wall clock time (in seconds):9.055
o 816
c Got one! Elapsed wall clock time (in seconds):9.237
o 815
c Got one! Elapsed wall clock time (in seconds):9.451
o 814
c Got one! Elapsed wall clock time (in seconds):9.591
o 812
c Got one! Elapsed wall clock time (in seconds):9.755
o 811
c Got one! Elapsed wall clock time (in seconds):9.916
o 810
c Got one! Elapsed wall clock time (in seconds):10.035
o 809
c Got one! Elapsed wall clock time (in seconds):10.201
o 808
c Got one! Elapsed wall clock time (in seconds):10.355
o 806
c Got one! Elapsed wall clock time (in seconds):10.485
o 804
c Got one! Elapsed wall clock time (in seconds):10.589
o 802
c Got one! Elapsed wall clock time (in seconds):10.711
o 801
c Got one! Elapsed wall clock time (in seconds):10.842
o 800
c Got one! Elapsed wall clock time (in seconds):11.026
o 799
c Got one! Elapsed wall clock time (in seconds):11.174
o 798
c Got one! Elapsed wall clock time (in seconds):11.323
o 797
c Got one! Elapsed wall clock time (in seconds):11.524
o 796
c Got one! Elapsed wall clock time (in seconds):11.657
o 795
c Got one! Elapsed wall clock time (in seconds):11.789
o 793
c Got one! Elapsed wall clock time (in seconds):11.912
o 791
c Got one! Elapsed wall clock time (in seconds):12.103
o 790
c Got one! Elapsed wall clock time (in seconds):12.239
o 789
c Got one! Elapsed wall clock time (in seconds):12.409
o 788
c Got one! Elapsed wall clock time (in seconds):12.528
o 787
c Got one! Elapsed wall clock time (in seconds):12.744
o 785
c Got one! Elapsed wall clock time (in seconds):12.891
o 782
c Got one! Elapsed wall clock time (in seconds):13.031
o 780
c Got one! Elapsed wall clock time (in seconds):13.154
o 779
c Got one! Elapsed wall clock time (in seconds):13.295
o 777
c Got one! Elapsed wall clock time (in seconds):13.44
o 775
c Got one! Elapsed wall clock time (in seconds):13.591
o 774
c Got one! Elapsed wall clock time (in seconds):13.743
o 773
c Got one! Elapsed wall clock time (in seconds):13.874
o 770
c Got one! Elapsed wall clock time (in seconds):13.984
o 769
c Got one! Elapsed wall clock time (in seconds):14.225
o 768
c Got one! Elapsed wall clock time (in seconds):14.435
o 766
c Got one! Elapsed wall clock time (in seconds):14.63
o 765
c Got one! Elapsed wall clock time (in seconds):14.823
o 764
c Got one! Elapsed wall clock time (in seconds):14.975
o 760
c Got one! Elapsed wall clock time (in seconds):15.127
o 757
c Got one! Elapsed wall clock time (in seconds):15.27
o 754
c Got one! Elapsed wall clock time (in seconds):15.465
o 753
c Got one! Elapsed wall clock time (in seconds):15.632
o 750
c Got one! Elapsed wall clock time (in seconds):15.775
o 749
c Got one! Elapsed wall clock time (in seconds):15.85
o 380
c Got one! Elapsed wall clock time (in seconds):16.023
o 379
c Got one! Elapsed wall clock time (in seconds):16.108
o 378
c Got one! Elapsed wall clock time (in seconds):16.125
o 223
c Got one! Elapsed wall clock time (in seconds):16.137
o 186
c Got one! Elapsed wall clock time (in seconds):16.144
o 124
c cleaning 513997 clauses out of 1028001
c cleaning 463250 clauses out of 926503
c cleaning 377123 clauses out of 754255
c cleaning 397306 clauses out of 794630
Killed
1835.100u 0.543s 30:38.62 99.8%	0+0k 0+0io 1pf+0w