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_brock400_3.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/brock400_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/brock400_3.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.11s.
c #vars     1176
c #constraints  1136
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1136
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.435
o 902
c Got one! Elapsed wall clock time (in seconds):0.474
o 417
c Got one! Elapsed wall clock time (in seconds):0.559
o 416
c Got one! Elapsed wall clock time (in seconds):0.644
o 409
c Got one! Elapsed wall clock time (in seconds):0.712
o 397
c Got one! Elapsed wall clock time (in seconds):0.877
o 396
c Got one! Elapsed wall clock time (in seconds):0.897
o 393
c Got one! Elapsed wall clock time (in seconds):0.97
o 392
c Got one! Elapsed wall clock time (in seconds):1.102
o 387
c Got one! Elapsed wall clock time (in seconds):1.132
o 375
c Got one! Elapsed wall clock time (in seconds):1.22
o 374
c Got one! Elapsed wall clock time (in seconds):1.222
o 370
c Got one! Elapsed wall clock time (in seconds):1.225
o 369
c Got one! Elapsed wall clock time (in seconds):1.228
o 366
c Got one! Elapsed wall clock time (in seconds):1.23
o 354
c Got one! Elapsed wall clock time (in seconds):1.242
o 353
c Got one! Elapsed wall clock time (in seconds):1.253
o 352
c Got one! Elapsed wall clock time (in seconds):1.256
o 351
c Got one! Elapsed wall clock time (in seconds):1.258
o 350
c Got one! Elapsed wall clock time (in seconds):1.261
o 349
c Got one! Elapsed wall clock time (in seconds):1.263
o 337
c Got one! Elapsed wall clock time (in seconds):1.285
o 336
c Got one! Elapsed wall clock time (in seconds):1.291
o 335
c Got one! Elapsed wall clock time (in seconds):1.294
o 334
c Got one! Elapsed wall clock time (in seconds):1.296
o 329
c Got one! Elapsed wall clock time (in seconds):1.304
o 328
c Got one! Elapsed wall clock time (in seconds):1.327
o 327
c Got one! Elapsed wall clock time (in seconds):1.334
o 326
c Got one! Elapsed wall clock time (in seconds):1.338
o 325
c Got one! Elapsed wall clock time (in seconds):1.34
o 324
c Got one! Elapsed wall clock time (in seconds):1.345
o 323
c Got one! Elapsed wall clock time (in seconds):1.347
o 318
c Got one! Elapsed wall clock time (in seconds):1.352
o 317
c Got one! Elapsed wall clock time (in seconds):1.386
o 316
c Got one! Elapsed wall clock time (in seconds):1.416
o 315
c Got one! Elapsed wall clock time (in seconds):1.424
o 314
c Got one! Elapsed wall clock time (in seconds):1.426
o 310
c Got one! Elapsed wall clock time (in seconds):1.827
o 309
c Got one! Elapsed wall clock time (in seconds):1.856
o 308
c Got one! Elapsed wall clock time (in seconds):1.871
o 307
c Got one! Elapsed wall clock time (in seconds):1.876
o 306
c Got one! Elapsed wall clock time (in seconds):1.88
o 305
c Got one! Elapsed wall clock time (in seconds):1.883
o 302
c Got one! Elapsed wall clock time (in seconds):2.234
o 301
c Got one! Elapsed wall clock time (in seconds):2.263
o 300
c Got one! Elapsed wall clock time (in seconds):2.29
o 299
c Got one! Elapsed wall clock time (in seconds):2.307
o 298
c Got one! Elapsed wall clock time (in seconds):2.309
o 297
c Got one! Elapsed wall clock time (in seconds):2.415
o 296
c Got one! Elapsed wall clock time (in seconds):2.444
o 295
c Got one! Elapsed wall clock time (in seconds):2.471
o 294
c Got one! Elapsed wall clock time (in seconds):2.476
o 293
c Got one! Elapsed wall clock time (in seconds):2.479
o 291
c Got one! Elapsed wall clock time (in seconds):3.684
o 290
c Got one! Elapsed wall clock time (in seconds):4.098
o 289
c Got one! Elapsed wall clock time (in seconds):4.137
o 288
c Got one! Elapsed wall clock time (in seconds):4.144
o 287
c Got one! Elapsed wall clock time (in seconds):4.152
o 286
c Got one! Elapsed wall clock time (in seconds):4.343
o 285
c Got one! Elapsed wall clock time (in seconds):4.369
o 284
c Got one! Elapsed wall clock time (in seconds):4.375
o 283
c Got one! Elapsed wall clock time (in seconds):4.382
o 282
c Got one! Elapsed wall clock time (in seconds):5.81
o 281
c Got one! Elapsed wall clock time (in seconds):6.389
o 280
c Got one! Elapsed wall clock time (in seconds):6.602
o 279
c Got one! Elapsed wall clock time (in seconds):6.622
o 278
c Got one! Elapsed wall clock time (in seconds):6.688
o 277
c Got one! Elapsed wall clock time (in seconds):6.694
o 276
c Got one! Elapsed wall clock time (in seconds):17.427
o 275
c Got one! Elapsed wall clock time (in seconds):18.515
o 274
c Got one! Elapsed wall clock time (in seconds):74.874
o 273
c Got one! Elapsed wall clock time (in seconds):81.583
o 272
c Got one! Elapsed wall clock time (in seconds):84.973
o 271
c Got one! Elapsed wall clock time (in seconds):86.445
o 270
c Got one! Elapsed wall clock time (in seconds):86.538
o 269
c cleaning 140996 clauses out of 282001
c cleaning 131495 clauses out of 263004
c Got one! Elapsed wall clock time (in seconds):365.093
o 268
c cleaning 136243 clauses out of 272509
c Got one! Elapsed wall clock time (in seconds):471.643
o 267
c cleaning 129625 clauses out of 259266
c Got one! Elapsed wall clock time (in seconds):542.084
o 266
c Got one! Elapsed wall clock time (in seconds):595.172
o 265
c cleaning 135790 clauses out of 271641
c cleaning 129165 clauses out of 258351
c Got one! Elapsed wall clock time (in seconds):758.098
o 264
c cleaning 133834 clauses out of 267686
c Got one! Elapsed wall clock time (in seconds):830.417
o 263
c cleaning 127920 clauses out of 255852
c Got one! Elapsed wall clock time (in seconds):924.571
o 262
c cleaning 134440 clauses out of 268937
c cleaning 125490 clauses out of 250992
c cleaning 129234 clauses out of 258503
c cleaning 123624 clauses out of 247269
c cleaning 127814 clauses out of 255644
c cleaning 120903 clauses out of 241830
c Got one! Elapsed wall clock time (in seconds):1535.6
o 261
c cleaning 123701 clauses out of 247427
c cleaning 118340 clauses out of 236726
c Got one! Elapsed wall clock time (in seconds):1696.311
o 260
c cleaning 122930 clauses out of 245886
c cleaning 116957 clauses out of 233956
Killed
1836.692u 0.530s 30:42.06 99.7%	0+0k 0+0io 1pf+0w