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_hamming10-2.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/hamming10-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@398020cc
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/hamming10-2.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.124s.
c #vars     1681
c #constraints  1640
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1640
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.586
o 1557
c Got one! Elapsed wall clock time (in seconds):0.664
o 780
c Got one! Elapsed wall clock time (in seconds):0.858
o 779
c Got one! Elapsed wall clock time (in seconds):0.912
o 742
c Got one! Elapsed wall clock time (in seconds):1.116
o 741
c Got one! Elapsed wall clock time (in seconds):1.237
o 740
c Got one! Elapsed wall clock time (in seconds):1.256
o 706
c Got one! Elapsed wall clock time (in seconds):1.291
o 705
c Got one! Elapsed wall clock time (in seconds):1.339
o 704
c Got one! Elapsed wall clock time (in seconds):1.351
o 672
c Got one! Elapsed wall clock time (in seconds):1.363
o 671
c Got one! Elapsed wall clock time (in seconds):1.378
o 670
c Got one! Elapsed wall clock time (in seconds):1.383
o 669
c Got one! Elapsed wall clock time (in seconds):1.388
o 640
c Got one! Elapsed wall clock time (in seconds):1.4
o 639
c Got one! Elapsed wall clock time (in seconds):1.409
o 638
c Got one! Elapsed wall clock time (in seconds):1.422
o 637
c Got one! Elapsed wall clock time (in seconds):1.426
o 610
c Got one! Elapsed wall clock time (in seconds):1.443
o 609
c Got one! Elapsed wall clock time (in seconds):1.459
o 608
c Got one! Elapsed wall clock time (in seconds):1.469
o 607
c Got one! Elapsed wall clock time (in seconds):1.474
o 606
c Got one! Elapsed wall clock time (in seconds):1.478
o 582
c Got one! Elapsed wall clock time (in seconds):1.516
o 581
c Got one! Elapsed wall clock time (in seconds):1.565
o 580
c Got one! Elapsed wall clock time (in seconds):1.575
o 579
c Got one! Elapsed wall clock time (in seconds):1.586
o 578
c Got one! Elapsed wall clock time (in seconds):1.591
o 577
c Got one! Elapsed wall clock time (in seconds):1.595
o 556
c Got one! Elapsed wall clock time (in seconds):1.643
o 555
c Got one! Elapsed wall clock time (in seconds):1.684
o 554
c Got one! Elapsed wall clock time (in seconds):1.721
o 553
c Got one! Elapsed wall clock time (in seconds):1.73
o 552
c Got one! Elapsed wall clock time (in seconds):1.739
o 532
c Got one! Elapsed wall clock time (in seconds):1.846
o 531
c Got one! Elapsed wall clock time (in seconds):1.901
o 530
c Got one! Elapsed wall clock time (in seconds):1.946
o 529
c Got one! Elapsed wall clock time (in seconds):1.969
o 528
c Got one! Elapsed wall clock time (in seconds):1.974
o 510
c Got one! Elapsed wall clock time (in seconds):2.112
o 509
c Got one! Elapsed wall clock time (in seconds):2.248
o 508
c Got one! Elapsed wall clock time (in seconds):2.267
o 507
c Got one! Elapsed wall clock time (in seconds):2.274
o 506
c Got one! Elapsed wall clock time (in seconds):2.279
o 490
c Got one! Elapsed wall clock time (in seconds):2.441
o 489
c Got one! Elapsed wall clock time (in seconds):2.637
o 488
c Got one! Elapsed wall clock time (in seconds):2.72
o 487
c Got one! Elapsed wall clock time (in seconds):2.767
o 486
c Got one! Elapsed wall clock time (in seconds):2.777
o 472
c Got one! Elapsed wall clock time (in seconds):3.278
o 471
c Got one! Elapsed wall clock time (in seconds):3.416
o 470
c Got one! Elapsed wall clock time (in seconds):3.432
o 469
c Got one! Elapsed wall clock time (in seconds):3.438
o 468
c Got one! Elapsed wall clock time (in seconds):3.443
o 456
c Got one! Elapsed wall clock time (in seconds):4.227
o 455
c Got one! Elapsed wall clock time (in seconds):4.36
o 454
c Got one! Elapsed wall clock time (in seconds):4.388
o 453
c Got one! Elapsed wall clock time (in seconds):4.393
o 452
c Got one! Elapsed wall clock time (in seconds):4.451
o 442
c Got one! Elapsed wall clock time (in seconds):4.781
o 441
c Got one! Elapsed wall clock time (in seconds):5.969
o 440
c Got one! Elapsed wall clock time (in seconds):6.132
o 439
c Got one! Elapsed wall clock time (in seconds):6.272
o 438
c Got one! Elapsed wall clock time (in seconds):6.296
o 437
c Got one! Elapsed wall clock time (in seconds):6.301
o 430
c Got one! Elapsed wall clock time (in seconds):9.641
o 429
c Got one! Elapsed wall clock time (in seconds):10.11
o 428
c Got one! Elapsed wall clock time (in seconds):10.471
o 427
c Got one! Elapsed wall clock time (in seconds):10.477
o 426
c Got one! Elapsed wall clock time (in seconds):10.482
o 420
c Got one! Elapsed wall clock time (in seconds):13.865
o 419
c Got one! Elapsed wall clock time (in seconds):17.81
o 418
c Got one! Elapsed wall clock time (in seconds):19.419
o 417
c Got one! Elapsed wall clock time (in seconds):20.021
o 416
c Got one! Elapsed wall clock time (in seconds):20.129
o 415
c Got one! Elapsed wall clock time (in seconds):20.186
o 414
c Got one! Elapsed wall clock time (in seconds):20.215
o 413
c Got one! Elapsed wall clock time (in seconds):20.22
o 412
c Got one! Elapsed wall clock time (in seconds):41.622
o 411
c Got one! Elapsed wall clock time (in seconds):45.798
o 410
c Got one! Elapsed wall clock time (in seconds):46.093
o 409
c Got one! Elapsed wall clock time (in seconds):46.333
o 408
c Got one! Elapsed wall clock time (in seconds):46.365
o 407
c Got one! Elapsed wall clock time (in seconds):46.37
o 406
c Got one! Elapsed wall clock time (in seconds):68.721
o 405
c Got one! Elapsed wall clock time (in seconds):97.622
o 404
c Got one! Elapsed wall clock time (in seconds):124.762
o 403
c Got one! Elapsed wall clock time (in seconds):131.24
o 402
c cleaning 98550 clauses out of 197501
c Got one! Elapsed wall clock time (in seconds):258.698
o 401
c cleaning 94254 clauses out of 188950
c Got one! Elapsed wall clock time (in seconds):348.126
o 400
c cleaning 97900 clauses out of 196196
c cleaning 93144 clauses out of 186296
c cleaning 94813 clauses out of 189653
c cleaning 90663 clauses out of 181339
c cleaning 93088 clauses out of 186185
c cleaning 87790 clauses out of 175588
c cleaning 91391 clauses out of 182799
c cleaning 84699 clauses out of 169408
c cleaning 87597 clauses out of 175209
c cleaning 83051 clauses out of 166112
c cleaning 86775 clauses out of 173562
c cleaning 82636 clauses out of 165286
c cleaning 85307 clauses out of 170649
c cleaning 80414 clauses out of 160843
c cleaning 84943 clauses out of 169928
c cleaning 80485 clauses out of 160986
Killed
1834.805u 0.594s 36:23.29 84.0%	0+0k 0+0io 1pf+0w