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_hamming8-2.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/hamming8-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/hamming8-2.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.204s.
c #vars     1849
c #constraints  1806
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1806
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.59
o 1719
c Got one! Elapsed wall clock time (in seconds):0.661
o 861
c Got one! Elapsed wall clock time (in seconds):0.774
o 860
c Got one! Elapsed wall clock time (in seconds):0.824
o 821
c Got one! Elapsed wall clock time (in seconds):0.888
o 820
c Got one! Elapsed wall clock time (in seconds):1.076
o 819
c Got one! Elapsed wall clock time (in seconds):1.102
o 783
c Got one! Elapsed wall clock time (in seconds):1.148
o 782
c Got one! Elapsed wall clock time (in seconds):1.163
o 781
c Got one! Elapsed wall clock time (in seconds):1.168
o 747
c Got one! Elapsed wall clock time (in seconds):1.187
o 746
c Got one! Elapsed wall clock time (in seconds):1.194
o 745
c Got one! Elapsed wall clock time (in seconds):1.199
o 744
c Got one! Elapsed wall clock time (in seconds):1.203
o 713
c Got one! Elapsed wall clock time (in seconds):1.217
o 712
c Got one! Elapsed wall clock time (in seconds):1.226
o 711
c Got one! Elapsed wall clock time (in seconds):1.23
o 710
c Got one! Elapsed wall clock time (in seconds):1.234
o 681
c Got one! Elapsed wall clock time (in seconds):1.25
o 680
c Got one! Elapsed wall clock time (in seconds):1.266
o 679
c Got one! Elapsed wall clock time (in seconds):1.276
o 678
c Got one! Elapsed wall clock time (in seconds):1.28
o 677
c Got one! Elapsed wall clock time (in seconds):1.285
o 651
c Got one! Elapsed wall clock time (in seconds):1.319
o 650
c Got one! Elapsed wall clock time (in seconds):1.35
o 649
c Got one! Elapsed wall clock time (in seconds):1.354
o 623
c Got one! Elapsed wall clock time (in seconds):1.408
o 622
c Got one! Elapsed wall clock time (in seconds):1.444
o 621
c Got one! Elapsed wall clock time (in seconds):1.448
o 597
c Got one! Elapsed wall clock time (in seconds):1.524
o 596
c Got one! Elapsed wall clock time (in seconds):1.568
o 595
c Got one! Elapsed wall clock time (in seconds):1.64
o 594
c Got one! Elapsed wall clock time (in seconds):1.647
o 593
c Got one! Elapsed wall clock time (in seconds):1.651
o 592
c Got one! Elapsed wall clock time (in seconds):1.655
o 573
c Got one! Elapsed wall clock time (in seconds):1.805
o 572
c Got one! Elapsed wall clock time (in seconds):1.9
o 571
c Got one! Elapsed wall clock time (in seconds):1.95
o 570
c Got one! Elapsed wall clock time (in seconds):1.955
o 551
c Got one! Elapsed wall clock time (in seconds):2.154
o 550
c Got one! Elapsed wall clock time (in seconds):2.26
o 549
c Got one! Elapsed wall clock time (in seconds):2.307
o 548
c Got one! Elapsed wall clock time (in seconds):2.313
o 547
c Got one! Elapsed wall clock time (in seconds):2.321
o 546
c Got one! Elapsed wall clock time (in seconds):2.325
o 531
c Got one! Elapsed wall clock time (in seconds):2.604
o 530
c Got one! Elapsed wall clock time (in seconds):2.767
o 529
c Got one! Elapsed wall clock time (in seconds):2.87
o 528
c Got one! Elapsed wall clock time (in seconds):2.937
o 527
c Got one! Elapsed wall clock time (in seconds):2.942
o 526
c Got one! Elapsed wall clock time (in seconds):2.947
o 513
c Got one! Elapsed wall clock time (in seconds):3.577
o 512
c Got one! Elapsed wall clock time (in seconds):3.955
o 511
c Got one! Elapsed wall clock time (in seconds):3.984
o 510
c Got one! Elapsed wall clock time (in seconds):3.99
o 509
c Got one! Elapsed wall clock time (in seconds):3.994
o 497
c Got one! Elapsed wall clock time (in seconds):4.864
o 496
c Got one! Elapsed wall clock time (in seconds):5.588
o 495
c Got one! Elapsed wall clock time (in seconds):6.007
o 494
c Got one! Elapsed wall clock time (in seconds):6.247
o 493
c Got one! Elapsed wall clock time (in seconds):6.302
o 492
c Got one! Elapsed wall clock time (in seconds):6.32
o 491
c Got one! Elapsed wall clock time (in seconds):6.338
o 490
c Got one! Elapsed wall clock time (in seconds):6.343
o 483
c Got one! Elapsed wall clock time (in seconds):7.268
o 482
c Got one! Elapsed wall clock time (in seconds):9.903
o 481
c Got one! Elapsed wall clock time (in seconds):10.018
o 480
c Got one! Elapsed wall clock time (in seconds):10.089
o 479
c Got one! Elapsed wall clock time (in seconds):10.094
o 471
c Got one! Elapsed wall clock time (in seconds):13.792
o 470
c Got one! Elapsed wall clock time (in seconds):15.451
o 469
c Got one! Elapsed wall clock time (in seconds):16.062
o 468
c Got one! Elapsed wall clock time (in seconds):16.866
o 467
c Got one! Elapsed wall clock time (in seconds):16.971
o 466
c Got one! Elapsed wall clock time (in seconds):17.07
o 465
c Got one! Elapsed wall clock time (in seconds):17.103
o 464
c Got one! Elapsed wall clock time (in seconds):17.129
o 463
c Got one! Elapsed wall clock time (in seconds):17.135
o 461
c Got one! Elapsed wall clock time (in seconds):22.302
o 460
c Got one! Elapsed wall clock time (in seconds):31.681
o 459
c Got one! Elapsed wall clock time (in seconds):32.391
o 458
c Got one! Elapsed wall clock time (in seconds):32.631
o 457
c Got one! Elapsed wall clock time (in seconds):32.744
o 456
c Got one! Elapsed wall clock time (in seconds):32.81
o 455
c Got one! Elapsed wall clock time (in seconds):32.815
o 453
c Got one! Elapsed wall clock time (in seconds):59.248
o 452
c Got one! Elapsed wall clock time (in seconds):67.388
o 451
c Got one! Elapsed wall clock time (in seconds):74.443
o 450
c Got one! Elapsed wall clock time (in seconds):76.367
o 449
c Got one! Elapsed wall clock time (in seconds):76.541
o 448
c Got one! Elapsed wall clock time (in seconds):76.584
o 447
c cleaning 90260 clauses out of 181000
c Got one! Elapsed wall clock time (in seconds):150.716
o 446
c Got one! Elapsed wall clock time (in seconds):165.59
o 445
c cleaning 85871 clauses out of 172240
c Got one! Elapsed wall clock time (in seconds):182.274
o 444
c Got one! Elapsed wall clock time (in seconds):183.172
o 443
c cleaning 89215 clauses out of 178870
c cleaning 84824 clauses out of 169654
c Got one! Elapsed wall clock time (in seconds):339.558
o 442
c cleaning 88905 clauses out of 177830
c Got one! Elapsed wall clock time (in seconds):432.001
o 441
c cleaning 84452 clauses out of 168926
c cleaning 86483 clauses out of 172974
c cleaning 80981 clauses out of 161990
c cleaning 84497 clauses out of 169009
c cleaning 81001 clauses out of 162012
c cleaning 82747 clauses out of 165512
c cleaning 77612 clauses out of 155264
c cleaning 81318 clauses out of 162654
c cleaning 75910 clauses out of 151835
c cleaning 79197 clauses out of 158424
c cleaning 74851 clauses out of 149727
c cleaning 78681 clauses out of 157376
c cleaning 74091 clauses out of 148196
c cleaning 77792 clauses out of 155604
c cleaning 74639 clauses out of 149312
c cleaning 77567 clauses out of 155173
c cleaning 74302 clauses out of 148608
Killed
1839.432u 0.604s 30:40.08 99.9%	0+0k 0+0io 1pf+0w