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_2.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/brock400_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/brock400_2.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.115s.
c #vars     1228
c #constraints  1188
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1188
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.419
o 742
c Got one! Elapsed wall clock time (in seconds):0.465
o 509
c Got one! Elapsed wall clock time (in seconds):0.531
o 508
c Got one! Elapsed wall clock time (in seconds):0.665
o 483
c Got one! Elapsed wall clock time (in seconds):0.895
o 482
c Got one! Elapsed wall clock time (in seconds):0.916
o 464
c Got one! Elapsed wall clock time (in seconds):1.077
o 463
c Got one! Elapsed wall clock time (in seconds):1.132
o 459
c Got one! Elapsed wall clock time (in seconds):1.142
o 458
c Got one! Elapsed wall clock time (in seconds):1.173
o 457
c Got one! Elapsed wall clock time (in seconds):1.211
o 442
c Got one! Elapsed wall clock time (in seconds):1.235
o 441
c Got one! Elapsed wall clock time (in seconds):1.242
o 440
c Got one! Elapsed wall clock time (in seconds):1.246
o 439
c Got one! Elapsed wall clock time (in seconds):1.25
o 438
c Got one! Elapsed wall clock time (in seconds):1.254
o 434
c Got one! Elapsed wall clock time (in seconds):1.258
o 433
c Got one! Elapsed wall clock time (in seconds):1.26
o 419
c Got one! Elapsed wall clock time (in seconds):1.275
o 418
c Got one! Elapsed wall clock time (in seconds):1.278
o 417
c Got one! Elapsed wall clock time (in seconds):1.28
o 414
c Got one! Elapsed wall clock time (in seconds):1.283
o 413
c Got one! Elapsed wall clock time (in seconds):1.287
o 412
c Got one! Elapsed wall clock time (in seconds):1.289
o 399
c Got one! Elapsed wall clock time (in seconds):1.302
o 398
c Got one! Elapsed wall clock time (in seconds):1.323
o 397
c Got one! Elapsed wall clock time (in seconds):1.336
o 396
c Got one! Elapsed wall clock time (in seconds):1.359
o 395
c Got one! Elapsed wall clock time (in seconds):1.362
o 394
c Got one! Elapsed wall clock time (in seconds):1.368
o 393
c Got one! Elapsed wall clock time (in seconds):1.371
o 392
c Got one! Elapsed wall clock time (in seconds):1.375
o 391
c Got one! Elapsed wall clock time (in seconds):1.378
o 390
c Got one! Elapsed wall clock time (in seconds):1.381
o 389
c Got one! Elapsed wall clock time (in seconds):1.384
o 378
c Got one! Elapsed wall clock time (in seconds):1.396
o 377
c Got one! Elapsed wall clock time (in seconds):1.41
o 376
c Got one! Elapsed wall clock time (in seconds):1.42
o 375
c Got one! Elapsed wall clock time (in seconds):1.431
o 374
c Got one! Elapsed wall clock time (in seconds):1.442
o 373
c Got one! Elapsed wall clock time (in seconds):1.454
o 372
c Got one! Elapsed wall clock time (in seconds):1.456
o 370
c Got one! Elapsed wall clock time (in seconds):1.459
o 369
c Got one! Elapsed wall clock time (in seconds):1.462
o 357
c Got one! Elapsed wall clock time (in seconds):1.493
o 356
c Got one! Elapsed wall clock time (in seconds):1.537
o 355
c Got one! Elapsed wall clock time (in seconds):1.541
o 354
c Got one! Elapsed wall clock time (in seconds):1.544
o 343
c Got one! Elapsed wall clock time (in seconds):1.589
o 342
c Got one! Elapsed wall clock time (in seconds):1.672
o 341
c Got one! Elapsed wall clock time (in seconds):1.692
o 340
c Got one! Elapsed wall clock time (in seconds):1.716
o 339
c Got one! Elapsed wall clock time (in seconds):1.722
o 338
c Got one! Elapsed wall clock time (in seconds):1.724
o 337
c Got one! Elapsed wall clock time (in seconds):1.727
o 331
c Got one! Elapsed wall clock time (in seconds):1.756
o 330
c Got one! Elapsed wall clock time (in seconds):1.803
o 329
c Got one! Elapsed wall clock time (in seconds):1.847
o 328
c Got one! Elapsed wall clock time (in seconds):1.905
o 327
c Got one! Elapsed wall clock time (in seconds):1.914
o 326
c Got one! Elapsed wall clock time (in seconds):2.006
o 325
c Got one! Elapsed wall clock time (in seconds):2.061
o 324
c Got one! Elapsed wall clock time (in seconds):2.105
o 323
c Got one! Elapsed wall clock time (in seconds):2.109
o 322
c Got one! Elapsed wall clock time (in seconds):2.112
o 321
c Got one! Elapsed wall clock time (in seconds):2.116
o 320
c Got one! Elapsed wall clock time (in seconds):2.119
o 319
c Got one! Elapsed wall clock time (in seconds):2.121
o 316
c Got one! Elapsed wall clock time (in seconds):2.215
o 315
c Got one! Elapsed wall clock time (in seconds):2.442
o 314
c Got one! Elapsed wall clock time (in seconds):2.462
o 313
c Got one! Elapsed wall clock time (in seconds):2.476
o 312
c Got one! Elapsed wall clock time (in seconds):2.48
o 311
c Got one! Elapsed wall clock time (in seconds):2.49
o 310
c Got one! Elapsed wall clock time (in seconds):2.498
o 309
c Got one! Elapsed wall clock time (in seconds):2.502
o 308
c Got one! Elapsed wall clock time (in seconds):2.951
o 307
c Got one! Elapsed wall clock time (in seconds):3.557
o 306
c Got one! Elapsed wall clock time (in seconds):3.587
o 305
c Got one! Elapsed wall clock time (in seconds):3.699
o 304
c Got one! Elapsed wall clock time (in seconds):3.723
o 303
c Got one! Elapsed wall clock time (in seconds):3.745
o 302
c Got one! Elapsed wall clock time (in seconds):6.927
o 301
c Got one! Elapsed wall clock time (in seconds):7.959
o 300
c Got one! Elapsed wall clock time (in seconds):9.185
o 299
c Got one! Elapsed wall clock time (in seconds):9.535
o 298
c Got one! Elapsed wall clock time (in seconds):9.597
o 297
c Got one! Elapsed wall clock time (in seconds):9.611
o 296
c Got one! Elapsed wall clock time (in seconds):9.792
o 295
c Got one! Elapsed wall clock time (in seconds):13.22
o 294
c Got one! Elapsed wall clock time (in seconds):14.944
o 293
c Got one! Elapsed wall clock time (in seconds):16.648
o 292
c Got one! Elapsed wall clock time (in seconds):17.32
o 291
c Got one! Elapsed wall clock time (in seconds):24.327
o 290
c Got one! Elapsed wall clock time (in seconds):48.786
o 289
c Got one! Elapsed wall clock time (in seconds):50.571
o 288
c Got one! Elapsed wall clock time (in seconds):123.837
o 287
c cleaning 133896 clauses out of 268000
c Got one! Elapsed wall clock time (in seconds):196.421
o 286
c Got one! Elapsed wall clock time (in seconds):201.013
o 285
c Got one! Elapsed wall clock time (in seconds):206.214
o 284
c Got one! Elapsed wall clock time (in seconds):211.413
o 283
c Got one! Elapsed wall clock time (in seconds):212.464
o 282
c Got one! Elapsed wall clock time (in seconds):228.591
o 281
c cleaning 128472 clauses out of 257105
c Got one! Elapsed wall clock time (in seconds):377.094
o 280
c cleaning 132483 clauses out of 265133
c cleaning 126820 clauses out of 253650
c Got one! Elapsed wall clock time (in seconds):542.661
o 279
c cleaning 129908 clauses out of 259829
c cleaning 124188 clauses out of 248423
c cleaning 128109 clauses out of 256234
c Got one! Elapsed wall clock time (in seconds):798.567
o 278
c cleaning 121306 clauses out of 242634
c cleaning 127650 clauses out of 255318
c cleaning 121068 clauses out of 242168
c cleaning 124295 clauses out of 248601
c Got one! Elapsed wall clock time (in seconds):1071.311
o 277
c cleaning 118393 clauses out of 236805
c cleaning 123945 clauses out of 247913
c Got one! Elapsed wall clock time (in seconds):1280.11
o 276
c cleaning 117476 clauses out of 234967
c Got one! Elapsed wall clock time (in seconds):1331.431
o 275
c cleaning 123487 clauses out of 246991
c cleaning 117493 clauses out of 235005
c Got one! Elapsed wall clock time (in seconds):1423.526
o 274
c cleaning 123744 clauses out of 247511
c cleaning 117372 clauses out of 234767
c Got one! Elapsed wall clock time (in seconds):1562.597
o 273
c cleaning 123445 clauses out of 246896
c Got one! Elapsed wall clock time (in seconds):1683.649
o 272
c cleaning 116218 clauses out of 232450
c cleaning 123107 clauses out of 246232
c cleaning 116298 clauses out of 232625
Killed
1838.890u 0.565s 30:43.81 99.7%	0+0k 0+0io 1pf+0w