Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-SAT4J-Maxsat-maxsat_crafted-_home_jplanes_evaluation_benchmarks_maxsat_crafted_MAXCUT_DIMACS_MOD_hamming6-2.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/hamming6-2.clq.cnf
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.minisat.constraints.MixedDataStructureDanielWL@296672d6
c Learn all clauses as in MiniSAT
c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.2 initConflictBound=100000 
c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
c No 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/maxsat_crafted/MAXCUT/DIMACS_MOD/hamming6-2.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.248s.
c #vars     3712
c #constraints  3648
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3648
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.749
o 2964
c Got one! Elapsed wall clock time (in seconds):0.86
o 1457
c Got one! Elapsed wall clock time (in seconds):0.925
o 1456
c Got one! Elapsed wall clock time (in seconds):0.966
o 1412
c Got one! Elapsed wall clock time (in seconds):1.037
o 1411
c Got one! Elapsed wall clock time (in seconds):1.053
o 1369
c Got one! Elapsed wall clock time (in seconds):1.091
o 1368
c Got one! Elapsed wall clock time (in seconds):1.099
o 1326
c Got one! Elapsed wall clock time (in seconds):1.113
o 1325
c Got one! Elapsed wall clock time (in seconds):1.137
o 1324
c Got one! Elapsed wall clock time (in seconds):1.152
o 1323
c Got one! Elapsed wall clock time (in seconds):1.164
o 1322
c Got one! Elapsed wall clock time (in seconds):1.173
o 1287
c Got one! Elapsed wall clock time (in seconds):1.193
o 1286
c Got one! Elapsed wall clock time (in seconds):1.223
o 1285
c Got one! Elapsed wall clock time (in seconds):1.239
o 1284
c Got one! Elapsed wall clock time (in seconds):1.249
o 1283
c Got one! Elapsed wall clock time (in seconds):1.257
o 1248
c Got one! Elapsed wall clock time (in seconds):1.338
o 1247
c Got one! Elapsed wall clock time (in seconds):1.356
o 1246
c Got one! Elapsed wall clock time (in seconds):1.374
o 1245
c Got one! Elapsed wall clock time (in seconds):1.388
o 1244
c Got one! Elapsed wall clock time (in seconds):1.396
o 1211
c Got one! Elapsed wall clock time (in seconds):1.456
o 1210
c Got one! Elapsed wall clock time (in seconds):1.515
o 1209
c Got one! Elapsed wall clock time (in seconds):1.545
o 1208
c Got one! Elapsed wall clock time (in seconds):1.56
o 1207
c Got one! Elapsed wall clock time (in seconds):1.569
o 1174
c Got one! Elapsed wall clock time (in seconds):1.755
o 1173
c Got one! Elapsed wall clock time (in seconds):1.889
o 1172
c Got one! Elapsed wall clock time (in seconds):1.943
o 1171
c Got one! Elapsed wall clock time (in seconds):1.952
o 1143
c Got one! Elapsed wall clock time (in seconds):2.109
o 1142
c Got one! Elapsed wall clock time (in seconds):2.39
o 1141
c Got one! Elapsed wall clock time (in seconds):2.549
o 1140
c Got one! Elapsed wall clock time (in seconds):2.662
o 1139
c Got one! Elapsed wall clock time (in seconds):2.671
o 1112
c Got one! Elapsed wall clock time (in seconds):2.937
o 1111
c Got one! Elapsed wall clock time (in seconds):3.144
o 1110
c Got one! Elapsed wall clock time (in seconds):3.291
o 1109
c Got one! Elapsed wall clock time (in seconds):3.37
o 1108
c Got one! Elapsed wall clock time (in seconds):3.408
o 1107
c Got one! Elapsed wall clock time (in seconds):3.428
o 1106
c Got one! Elapsed wall clock time (in seconds):3.437
o 1083
c Got one! Elapsed wall clock time (in seconds):3.789
o 1082
c Got one! Elapsed wall clock time (in seconds):4.263
o 1081
c Got one! Elapsed wall clock time (in seconds):4.511
o 1080
c Got one! Elapsed wall clock time (in seconds):4.591
o 1079
c Got one! Elapsed wall clock time (in seconds):4.624
o 1078
c Got one! Elapsed wall clock time (in seconds):4.634
o 1077
c Got one! Elapsed wall clock time (in seconds):4.644
o 1054
c Got one! Elapsed wall clock time (in seconds):5.216
o 1053
c Got one! Elapsed wall clock time (in seconds):6.029
o 1052
c Got one! Elapsed wall clock time (in seconds):6.206
o 1051
c Got one! Elapsed wall clock time (in seconds):6.501
o 1050
c Got one! Elapsed wall clock time (in seconds):6.693
o 1049
c Got one! Elapsed wall clock time (in seconds):6.755
o 1048
c Got one! Elapsed wall clock time (in seconds):6.817
o 1047
c Got one! Elapsed wall clock time (in seconds):6.826
o 1029
c Got one! Elapsed wall clock time (in seconds):8.452
o 1028
c Got one! Elapsed wall clock time (in seconds):9.321
o 1027
c Got one! Elapsed wall clock time (in seconds):9.372
o 1026
c Got one! Elapsed wall clock time (in seconds):9.624
o 1025
c Got one! Elapsed wall clock time (in seconds):9.636
o 1024
c Got one! Elapsed wall clock time (in seconds):9.645
o 1004
c Got one! Elapsed wall clock time (in seconds):10.828
o 1003
c Got one! Elapsed wall clock time (in seconds):13.253
o 1002
c Got one! Elapsed wall clock time (in seconds):13.342
o 1001
c Got one! Elapsed wall clock time (in seconds):13.365
o 1000
c Got one! Elapsed wall clock time (in seconds):13.374
o 981
c Got one! Elapsed wall clock time (in seconds):14.113
o 980
c Got one! Elapsed wall clock time (in seconds):15.025
o 979
c Got one! Elapsed wall clock time (in seconds):15.943
o 978
c Got one! Elapsed wall clock time (in seconds):16.482
o 977
c Got one! Elapsed wall clock time (in seconds):17.007
o 976
c Got one! Elapsed wall clock time (in seconds):18.128
o 975
c Got one! Elapsed wall clock time (in seconds):19.56
o 974
c Got one! Elapsed wall clock time (in seconds):19.83
o 973
c Got one! Elapsed wall clock time (in seconds):20.021
o 972
c Got one! Elapsed wall clock time (in seconds):20.059
o 971
c Got one! Elapsed wall clock time (in seconds):20.074
o 970
c Got one! Elapsed wall clock time (in seconds):20.084
o 954
c Got one! Elapsed wall clock time (in seconds):21.791
o 953
c Got one! Elapsed wall clock time (in seconds):25.577
o 952
c Got one! Elapsed wall clock time (in seconds):28.19
o 951
c Got one! Elapsed wall clock time (in seconds):29.041
o 950
c Got one! Elapsed wall clock time (in seconds):29.211
o 949
c Got one! Elapsed wall clock time (in seconds):29.415
o 948
c Got one! Elapsed wall clock time (in seconds):29.533
o 947
c Got one! Elapsed wall clock time (in seconds):29.542
o 939
c Got one! Elapsed wall clock time (in seconds):43.654
o 938
c Got one! Elapsed wall clock time (in seconds):46.588
o 937
c Got one! Elapsed wall clock time (in seconds):47.758
o 936
c Got one! Elapsed wall clock time (in seconds):48.858
o 935
c Got one! Elapsed wall clock time (in seconds):48.954
o 934
c Got one! Elapsed wall clock time (in seconds):48.992
o 933
c Got one! Elapsed wall clock time (in seconds):49.001
o 924
c Got one! Elapsed wall clock time (in seconds):61.83
o 923
c Got one! Elapsed wall clock time (in seconds):68.763
o 922
c Got one! Elapsed wall clock time (in seconds):74.493
o 921
c Got one! Elapsed wall clock time (in seconds):76.181
o 920
c cleaning 45616 clauses out of 92500
c Got one! Elapsed wall clock time (in seconds):77.535
o 919
c Got one! Elapsed wall clock time (in seconds):77.679
o 918
c Got one! Elapsed wall clock time (in seconds):77.914
o 917
c Got one! Elapsed wall clock time (in seconds):77.96
o 916
c Got one! Elapsed wall clock time (in seconds):77.969
o 911
c cleaning 43088 clauses out of 87384
c Got one! Elapsed wall clock time (in seconds):137.27
o 910
c Got one! Elapsed wall clock time (in seconds):139.634
o 909
c Got one! Elapsed wall clock time (in seconds):140.634
o 908
c Got one! Elapsed wall clock time (in seconds):141.567
o 907
c Got one! Elapsed wall clock time (in seconds):141.662
o 906
c Got one! Elapsed wall clock time (in seconds):141.701
o 905
c Got one! Elapsed wall clock time (in seconds):141.71
o 898
c cleaning 45084 clauses out of 91297
c cleaning 43797 clauses out of 88717
c Got one! Elapsed wall clock time (in seconds):215.485
o 897
c cleaning 45890 clauses out of 92915
c Got one! Elapsed wall clock time (in seconds):232.404
o 896
c Got one! Elapsed wall clock time (in seconds):244.933
o 895
c Got one! Elapsed wall clock time (in seconds):245.967
o 894
c Got one! Elapsed wall clock time (in seconds):246.309
o 893
c Got one! Elapsed wall clock time (in seconds):246.37
o 892
c Got one! Elapsed wall clock time (in seconds):246.471
o 891
c Got one! Elapsed wall clock time (in seconds):246.498
o 890
c Got one! Elapsed wall clock time (in seconds):246.511
o 889
c cleaning 43728 clauses out of 88525
c cleaning 46105 clauses out of 93297
c cleaning 44596 clauses out of 89198
c cleaning 45539 clauses out of 91097
c cleaning 43018 clauses out of 86058
c cleaning 44764 clauses out of 89539
c cleaning 41880 clauses out of 83775
c cleaning 40444 clauses out of 80895
c cleaning 36967 clauses out of 73951
c cleaning 37734 clauses out of 75484
c cleaning 40619 clauses out of 81251
c cleaning 42058 clauses out of 84132
c cleaning 40026 clauses out of 80073
c cleaning 42015 clauses out of 84049
c cleaning 38261 clauses out of 76532
c cleaning 37882 clauses out of 75772
c cleaning 34689 clauses out of 69389
c cleaning 39331 clauses out of 78700
c cleaning 37181 clauses out of 74370
c cleaning 40339 clauses out of 80688
c Got one! Elapsed wall clock time (in seconds):1429.61
o 888
c cleaning 38665 clauses out of 77350
c cleaning 39335 clauses out of 78685
c cleaning 37410 clauses out of 74849
c Got one! Elapsed wall clock time (in seconds):1512.687
o 887
c cleaning 39714 clauses out of 79440
c cleaning 37847 clauses out of 75725
c cleaning 39684 clauses out of 79378
c cleaning 38087 clauses out of 76195
c cleaning 39045 clauses out of 78107
c cleaning 36779 clauses out of 73565
c cleaning 41887 clauses out of 83783
c cleaning 38938 clauses out of 77897
Killed
1839.453u 1.036s 30:45.57 99.7%	0+0k 0+0io 1pf+0w