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_brock800_3.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/brock800_3.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/brock800_3.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.706s.
c #vars     1054
c #constraints  1014
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1014
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):1.067
o 568
c Got one! Elapsed wall clock time (in seconds):1.1
o 410
c Got one! Elapsed wall clock time (in seconds):1.176
o 409
c Got one! Elapsed wall clock time (in seconds):1.236
o 383
c Got one! Elapsed wall clock time (in seconds):1.376
o 382
c Got one! Elapsed wall clock time (in seconds):1.412
o 381
c Got one! Elapsed wall clock time (in seconds):1.431
o 361
c Got one! Elapsed wall clock time (in seconds):1.465
o 360
c Got one! Elapsed wall clock time (in seconds):1.48
o 359
c Got one! Elapsed wall clock time (in seconds):1.49
o 344
c Got one! Elapsed wall clock time (in seconds):1.553
o 343
c Got one! Elapsed wall clock time (in seconds):1.579
o 342
c Got one! Elapsed wall clock time (in seconds):1.584
o 341
c Got one! Elapsed wall clock time (in seconds):1.587
o 328
c Got one! Elapsed wall clock time (in seconds):1.593
o 327
c Got one! Elapsed wall clock time (in seconds):1.607
o 326
c Got one! Elapsed wall clock time (in seconds):1.612
o 325
c Got one! Elapsed wall clock time (in seconds):1.615
o 324
c Got one! Elapsed wall clock time (in seconds):1.619
o 323
c Got one! Elapsed wall clock time (in seconds):1.622
o 312
c Got one! Elapsed wall clock time (in seconds):1.626
o 311
c Got one! Elapsed wall clock time (in seconds):1.654
o 310
c Got one! Elapsed wall clock time (in seconds):1.659
o 309
c Got one! Elapsed wall clock time (in seconds):1.662
o 308
c Got one! Elapsed wall clock time (in seconds):1.664
o 301
c Got one! Elapsed wall clock time (in seconds):1.701
o 300
c Got one! Elapsed wall clock time (in seconds):1.715
o 299
c Got one! Elapsed wall clock time (in seconds):1.718
o 298
c Got one! Elapsed wall clock time (in seconds):1.72
o 297
c Got one! Elapsed wall clock time (in seconds):1.722
o 289
c Got one! Elapsed wall clock time (in seconds):1.82
o 288
c Got one! Elapsed wall clock time (in seconds):1.827
o 287
c Got one! Elapsed wall clock time (in seconds):1.829
o 286
c Got one! Elapsed wall clock time (in seconds):1.832
o 285
c Got one! Elapsed wall clock time (in seconds):1.834
o 279
c Got one! Elapsed wall clock time (in seconds):1.869
o 278
c Got one! Elapsed wall clock time (in seconds):1.888
o 277
c Got one! Elapsed wall clock time (in seconds):1.91
o 276
c Got one! Elapsed wall clock time (in seconds):1.977
o 275
c Got one! Elapsed wall clock time (in seconds):1.988
o 274
c Got one! Elapsed wall clock time (in seconds):2.008
o 273
c Got one! Elapsed wall clock time (in seconds):2.018
o 272
c Got one! Elapsed wall clock time (in seconds):2.02
o 268
c Got one! Elapsed wall clock time (in seconds):2.083
o 267
c Got one! Elapsed wall clock time (in seconds):2.272
o 266
c Got one! Elapsed wall clock time (in seconds):2.303
o 265
c Got one! Elapsed wall clock time (in seconds):2.372
o 264
c Got one! Elapsed wall clock time (in seconds):2.406
o 263
c Got one! Elapsed wall clock time (in seconds):2.409
o 262
c Got one! Elapsed wall clock time (in seconds):2.412
o 261
c Got one! Elapsed wall clock time (in seconds):2.414
o 259
c Got one! Elapsed wall clock time (in seconds):2.783
o 258
c Got one! Elapsed wall clock time (in seconds):2.98
o 257
c Got one! Elapsed wall clock time (in seconds):2.994
o 256
c Got one! Elapsed wall clock time (in seconds):3.0
o 255
c Got one! Elapsed wall clock time (in seconds):3.002
o 253
c Got one! Elapsed wall clock time (in seconds):5.494
o 252
c Got one! Elapsed wall clock time (in seconds):5.976
o 251
c Got one! Elapsed wall clock time (in seconds):7.277
o 250
c Got one! Elapsed wall clock time (in seconds):7.545
o 249
c Got one! Elapsed wall clock time (in seconds):7.626
o 248
c Got one! Elapsed wall clock time (in seconds):7.642
o 247
c Got one! Elapsed wall clock time (in seconds):7.646
o 246
c Got one! Elapsed wall clock time (in seconds):7.653
o 245
c Got one! Elapsed wall clock time (in seconds):16.88
o 244
c Got one! Elapsed wall clock time (in seconds):28.11
o 243
c Got one! Elapsed wall clock time (in seconds):30.364
o 242
c Got one! Elapsed wall clock time (in seconds):31.107
o 241
c Got one! Elapsed wall clock time (in seconds):31.662
o 240
c Got one! Elapsed wall clock time (in seconds):32.088
o 239
c Got one! Elapsed wall clock time (in seconds):240.774
o 238
c cleaning 155973 clauses out of 312000
c Got one! Elapsed wall clock time (in seconds):350.317
o 237
c Got one! Elapsed wall clock time (in seconds):362.497
o 236
c Got one! Elapsed wall clock time (in seconds):366.404
o 235
c cleaning 149738 clauses out of 299531
c Got one! Elapsed wall clock time (in seconds):498.519
o 234
c Got one! Elapsed wall clock time (in seconds):669.676
o 233
c cleaning 154110 clauses out of 308289
c cleaning 147822 clauses out of 295681
c cleaning 151421 clauses out of 302857
c cleaning 142961 clauses out of 285936
c Got one! Elapsed wall clock time (in seconds):1146.654
o 232
c cleaning 146982 clauses out of 293975
c Got one! Elapsed wall clock time (in seconds):1183.319
o 231
c cleaning 140987 clauses out of 281995
c Got one! Elapsed wall clock time (in seconds):1408.607
o 230
c cleaning 148241 clauses out of 296506
c Got one! Elapsed wall clock time (in seconds):1483.967
o 229
c cleaning 139874 clauses out of 279765
c cleaning 146189 clauses out of 292392
c cleaning 140097 clauses out of 280204
c Got one! Elapsed wall clock time (in seconds):1762.022
o 228
c cleaning 146046 clauses out of 292105
c cleaning 138274 clauses out of 276559
c Got one! Elapsed wall clock time (in seconds):1972.165
o 227
c cleaning 144138 clauses out of 288290
c cleaning 138059 clauses out of 276147
c Got one! Elapsed wall clock time (in seconds):2087.355
o 226
c cleaning 145272 clauses out of 290588
c cleaning 137646 clauses out of 275316
Killed
1835.750u 0.531s 38:53.67 78.6%	0+0k 0+0io 1pf+0w