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_p_hat1000-2.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/p_hat1000-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@398020cc
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/p_hat1000-2.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.076s.
c #vars     782
c #constraints  742
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 742
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.329
o 425
c Got one! Elapsed wall clock time (in seconds):0.351
o 240
c Got one! Elapsed wall clock time (in seconds):0.396
o 239
c Got one! Elapsed wall clock time (in seconds):0.43
o 232
c Got one! Elapsed wall clock time (in seconds):0.47
o 231
c Got one! Elapsed wall clock time (in seconds):0.529
o 230
c Got one! Elapsed wall clock time (in seconds):0.59
o 226
c Got one! Elapsed wall clock time (in seconds):0.6
o 225
c Got one! Elapsed wall clock time (in seconds):0.631
o 218
c Got one! Elapsed wall clock time (in seconds):0.666
o 217
c Got one! Elapsed wall clock time (in seconds):0.683
o 216
c Got one! Elapsed wall clock time (in seconds):0.741
o 215
c Got one! Elapsed wall clock time (in seconds):0.759
o 210
c Got one! Elapsed wall clock time (in seconds):0.798
o 209
c Got one! Elapsed wall clock time (in seconds):0.818
o 208
c Got one! Elapsed wall clock time (in seconds):0.854
o 207
c Got one! Elapsed wall clock time (in seconds):0.858
o 202
c Got one! Elapsed wall clock time (in seconds):0.877
o 201
c Got one! Elapsed wall clock time (in seconds):0.888
o 200
c Got one! Elapsed wall clock time (in seconds):0.892
o 199
c Got one! Elapsed wall clock time (in seconds):0.895
o 198
c Got one! Elapsed wall clock time (in seconds):0.896
o 197
c Got one! Elapsed wall clock time (in seconds):0.898
o 196
c Got one! Elapsed wall clock time (in seconds):0.95
o 195
c Got one! Elapsed wall clock time (in seconds):0.958
o 194
c Got one! Elapsed wall clock time (in seconds):0.971
o 193
c Got one! Elapsed wall clock time (in seconds):0.979
o 192
c Got one! Elapsed wall clock time (in seconds):0.983
o 191
c Got one! Elapsed wall clock time (in seconds):0.985
o 190
c Got one! Elapsed wall clock time (in seconds):0.986
o 189
c Got one! Elapsed wall clock time (in seconds):0.988
o 188
c Got one! Elapsed wall clock time (in seconds):1.228
o 187
c Got one! Elapsed wall clock time (in seconds):1.281
o 186
c Got one! Elapsed wall clock time (in seconds):1.289
o 185
c Got one! Elapsed wall clock time (in seconds):1.295
o 184
c Got one! Elapsed wall clock time (in seconds):1.298
o 183
c Got one! Elapsed wall clock time (in seconds):1.307
o 182
c Got one! Elapsed wall clock time (in seconds):1.315
o 181
c Got one! Elapsed wall clock time (in seconds):1.319
o 180
c Got one! Elapsed wall clock time (in seconds):1.322
o 179
c Got one! Elapsed wall clock time (in seconds):1.558
o 178
c Got one! Elapsed wall clock time (in seconds):4.401
o 177
c Got one! Elapsed wall clock time (in seconds):4.527
o 176
c Got one! Elapsed wall clock time (in seconds):4.555
o 175
c Got one! Elapsed wall clock time (in seconds):4.571
o 174
c Got one! Elapsed wall clock time (in seconds):4.575
o 173
c Got one! Elapsed wall clock time (in seconds):77.798
o 172
c Got one! Elapsed wall clock time (in seconds):215.766
o 171
c cleaning 205744 clauses out of 411501
c Got one! Elapsed wall clock time (in seconds):454.158
o 170
c Got one! Elapsed wall clock time (in seconds):454.419
o 169
c cleaning 197368 clauses out of 394756
c cleaning 199436 clauses out of 398888
c cleaning 187468 clauses out of 374952
c Got one! Elapsed wall clock time (in seconds):1056.421
o 168
c cleaning 194980 clauses out of 389984
c Got one! Elapsed wall clock time (in seconds):1233.594
o 167
c cleaning 183495 clauses out of 367006
c Got one! Elapsed wall clock time (in seconds):1339.171
o 166
c Got one! Elapsed wall clock time (in seconds):1440.88
o 165
c cleaning 191995 clauses out of 384010
c cleaning 182498 clauses out of 365015
c cleaning 185001 clauses out of 370017
Killed
1833.285u 0.643s 30:34.02 99.9%	0+0k 0+0io 1pf+0w