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-4.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/hamming6-4.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-4.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.116s.
c #vars     1472
c #constraints  1408
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1408
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.357
o 508
c Got one! Elapsed wall clock time (in seconds):0.449
o 440
c Got one! Elapsed wall clock time (in seconds):0.53
o 439
c Got one! Elapsed wall clock time (in seconds):0.609
o 434
c Got one! Elapsed wall clock time (in seconds):0.73
o 433
c Got one! Elapsed wall clock time (in seconds):0.756
o 432
c Got one! Elapsed wall clock time (in seconds):0.797
o 431
c Got one! Elapsed wall clock time (in seconds):0.809
o 428
c Got one! Elapsed wall clock time (in seconds):0.93
o 427
c Got one! Elapsed wall clock time (in seconds):0.981
o 426
c Got one! Elapsed wall clock time (in seconds):0.985
o 425
c Got one! Elapsed wall clock time (in seconds):0.989
o 424
c Got one! Elapsed wall clock time (in seconds):0.992
o 422
c Got one! Elapsed wall clock time (in seconds):0.997
o 421
c Got one! Elapsed wall clock time (in seconds):1.002
o 420
c Got one! Elapsed wall clock time (in seconds):1.012
o 419
c Got one! Elapsed wall clock time (in seconds):1.021
o 418
c Got one! Elapsed wall clock time (in seconds):1.029
o 417
c Got one! Elapsed wall clock time (in seconds):1.033
o 416
c Got one! Elapsed wall clock time (in seconds):1.054
o 415
c Got one! Elapsed wall clock time (in seconds):1.064
o 414
c Got one! Elapsed wall clock time (in seconds):1.069
o 413
c Got one! Elapsed wall clock time (in seconds):1.072
o 412
c Got one! Elapsed wall clock time (in seconds):1.076
o 411
c Got one! Elapsed wall clock time (in seconds):1.079
o 410
c Got one! Elapsed wall clock time (in seconds):1.083
o 409
c Got one! Elapsed wall clock time (in seconds):1.086
o 408
c Got one! Elapsed wall clock time (in seconds):1.093
o 407
c Got one! Elapsed wall clock time (in seconds):1.101
o 406
c Got one! Elapsed wall clock time (in seconds):1.109
o 405
c Got one! Elapsed wall clock time (in seconds):1.113
o 404
c Got one! Elapsed wall clock time (in seconds):1.325
o 403
c Got one! Elapsed wall clock time (in seconds):1.373
o 402
c Got one! Elapsed wall clock time (in seconds):1.391
o 401
c Got one! Elapsed wall clock time (in seconds):1.413
o 400
c Got one! Elapsed wall clock time (in seconds):1.42
o 399
c Got one! Elapsed wall clock time (in seconds):1.429
o 398
c Got one! Elapsed wall clock time (in seconds):1.433
o 397
c Got one! Elapsed wall clock time (in seconds):1.441
o 396
c Got one! Elapsed wall clock time (in seconds):1.453
o 395
c Got one! Elapsed wall clock time (in seconds):1.457
o 394
c Got one! Elapsed wall clock time (in seconds):1.462
o 393
c Got one! Elapsed wall clock time (in seconds):1.465
o 392
c Got one! Elapsed wall clock time (in seconds):2.191
o 391
c Got one! Elapsed wall clock time (in seconds):2.261
o 390
c Got one! Elapsed wall clock time (in seconds):2.307
o 389
c Got one! Elapsed wall clock time (in seconds):2.35
o 388
c Got one! Elapsed wall clock time (in seconds):2.716
o 387
c Got one! Elapsed wall clock time (in seconds):2.789
o 386
c Got one! Elapsed wall clock time (in seconds):2.804
o 385
c Got one! Elapsed wall clock time (in seconds):2.809
o 384
c Got one! Elapsed wall clock time (in seconds):3.041
o 383
c Got one! Elapsed wall clock time (in seconds):4.007
o 382
c Got one! Elapsed wall clock time (in seconds):4.149
o 381
c Got one! Elapsed wall clock time (in seconds):4.269
o 380
c Got one! Elapsed wall clock time (in seconds):4.274
o 378
c Got one! Elapsed wall clock time (in seconds):4.632
o 377
c Got one! Elapsed wall clock time (in seconds):4.787
o 376
c Got one! Elapsed wall clock time (in seconds):5.093
o 375
c Got one! Elapsed wall clock time (in seconds):5.156
o 374
c Got one! Elapsed wall clock time (in seconds):11.944
o 373
c Got one! Elapsed wall clock time (in seconds):13.584
o 372
c Got one! Elapsed wall clock time (in seconds):14.282
o 371
c Got one! Elapsed wall clock time (in seconds):14.531
o 370
c Got one! Elapsed wall clock time (in seconds):14.584
o 369
c Got one! Elapsed wall clock time (in seconds):14.626
o 368
c Got one! Elapsed wall clock time (in seconds):14.698
o 367
c Got one! Elapsed wall clock time (in seconds):14.793
o 366
c Got one! Elapsed wall clock time (in seconds):14.981
o 365
c Got one! Elapsed wall clock time (in seconds):15.036
o 364
c Got one! Elapsed wall clock time (in seconds):17.543
o 363
c Got one! Elapsed wall clock time (in seconds):28.64
o 362
c Got one! Elapsed wall clock time (in seconds):36.309
o 361
c Got one! Elapsed wall clock time (in seconds):43.641
o 360
c Got one! Elapsed wall clock time (in seconds):50.48
o 359
c Got one! Elapsed wall clock time (in seconds):50.672
o 358
c Got one! Elapsed wall clock time (in seconds):50.754
o 357
c Got one! Elapsed wall clock time (in seconds):50.762
o 356
c Got one! Elapsed wall clock time (in seconds):50.951
o 355
c Got one! Elapsed wall clock time (in seconds):50.969
o 354
c Got one! Elapsed wall clock time (in seconds):229.508
o 353
c Got one! Elapsed wall clock time (in seconds):307.59
o 352
c cleaning 110481 clauses out of 221001
c Got one! Elapsed wall clock time (in seconds):333.997
o 351
c Got one! Elapsed wall clock time (in seconds):354.842
o 350
c Got one! Elapsed wall clock time (in seconds):364.49
o 349
c Got one! Elapsed wall clock time (in seconds):365.972
o 348
c Got one! Elapsed wall clock time (in seconds):367.268
o 347
c Got one! Elapsed wall clock time (in seconds):368.21
o 346
c Got one! Elapsed wall clock time (in seconds):368.941
o 345
c Got one! Elapsed wall clock time (in seconds):369.073
o 344
c Got one! Elapsed wall clock time (in seconds):479.416
o 343
c Got one! Elapsed wall clock time (in seconds):496.847
o 342
c Got one! Elapsed wall clock time (in seconds):514.49
o 341
c Got one! Elapsed wall clock time (in seconds):516.951
o 340
c Got one! Elapsed wall clock time (in seconds):517.101
o 339
c Got one! Elapsed wall clock time (in seconds):517.107
o 338
c cleaning 106739 clauses out of 213519
c Got one! Elapsed wall clock time (in seconds):564.675
o 337
c Got one! Elapsed wall clock time (in seconds):598.56
o 336
c Got one! Elapsed wall clock time (in seconds):611.041
o 335
c Got one! Elapsed wall clock time (in seconds):617.83
o 334
c Got one! Elapsed wall clock time (in seconds):618.591
o 333
c Got one! Elapsed wall clock time (in seconds):619.184
o 332
c Got one! Elapsed wall clock time (in seconds):620.522
o 331
c Got one! Elapsed wall clock time (in seconds):620.54
o 330
c Got one! Elapsed wall clock time (in seconds):621.107
o 329
c Got one! Elapsed wall clock time (in seconds):621.293
o 328
c Got one! Elapsed wall clock time (in seconds):631.081
o 327
c cleaning 113360 clauses out of 226780
c Got one! Elapsed wall clock time (in seconds):817.072
o 326
c Got one! Elapsed wall clock time (in seconds):895.381
o 325
c Got one! Elapsed wall clock time (in seconds):900.658
o 324
c Got one! Elapsed wall clock time (in seconds):902.385
o 323
c Got one! Elapsed wall clock time (in seconds):902.892
o 322
c cleaning 109191 clauses out of 218425
c Got one! Elapsed wall clock time (in seconds):928.146
o 321
c Got one! Elapsed wall clock time (in seconds):966.374
o 320
c Got one! Elapsed wall clock time (in seconds):969.191
o 319
c Got one! Elapsed wall clock time (in seconds):970.269
o 318
c Got one! Elapsed wall clock time (in seconds):971.171
o 317
c Got one! Elapsed wall clock time (in seconds):971.206
o 316
c Got one! Elapsed wall clock time (in seconds):975.882
o 315
c Got one! Elapsed wall clock time (in seconds):976.553
o 314
c Got one! Elapsed wall clock time (in seconds):976.626
o 313
c Got one! Elapsed wall clock time (in seconds):976.667
o 312
c cleaning 114346 clauses out of 228729
c cleaning 110685 clauses out of 221384
c cleaning 114342 clauses out of 228698
c cleaning 108172 clauses out of 216356
c Got one! Elapsed wall clock time (in seconds):1489.911
o 311
c cleaning 110585 clauses out of 221184
c cleaning 106047 clauses out of 212100
c cleaning 110020 clauses out of 220053
c cleaning 105261 clauses out of 210532
c Got one! Elapsed wall clock time (in seconds):1759.994
o 310
c cleaning 109615 clauses out of 219271
c Got one! Elapsed wall clock time (in seconds):1812.327
o 309
Killed
1832.516u 0.596s 30:32.80 100.0%	0+0k 0+0io 1pf+0w