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_MANN_a27.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/MANN_a27.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/MANN_a27.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.179s.
c #vars     1732
c #constraints  1690
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1690
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.569
o 1624
c Got one! Elapsed wall clock time (in seconds):0.644
o 804
c Got one! Elapsed wall clock time (in seconds):0.763
o 803
c Got one! Elapsed wall clock time (in seconds):0.801
o 768
c Got one! Elapsed wall clock time (in seconds):0.88
o 767
c Got one! Elapsed wall clock time (in seconds):0.942
o 766
c Got one! Elapsed wall clock time (in seconds):0.977
o 734
c Got one! Elapsed wall clock time (in seconds):1.041
o 733
c Got one! Elapsed wall clock time (in seconds):1.047
o 732
c Got one! Elapsed wall clock time (in seconds):1.062
o 731
c Got one! Elapsed wall clock time (in seconds):1.068
o 730
c Got one! Elapsed wall clock time (in seconds):1.081
o 700
c Got one! Elapsed wall clock time (in seconds):1.089
o 699
c Got one! Elapsed wall clock time (in seconds):1.095
o 698
c Got one! Elapsed wall clock time (in seconds):1.106
o 697
c Got one! Elapsed wall clock time (in seconds):1.111
o 696
c Got one! Elapsed wall clock time (in seconds):1.115
o 668
c Got one! Elapsed wall clock time (in seconds):1.126
o 667
c Got one! Elapsed wall clock time (in seconds):1.145
o 666
c Got one! Elapsed wall clock time (in seconds):1.156
o 665
c Got one! Elapsed wall clock time (in seconds):1.166
o 664
c Got one! Elapsed wall clock time (in seconds):1.171
o 663
c Got one! Elapsed wall clock time (in seconds):1.175
o 637
c Got one! Elapsed wall clock time (in seconds):1.186
o 636
c Got one! Elapsed wall clock time (in seconds):1.206
o 635
c Got one! Elapsed wall clock time (in seconds):1.219
o 634
c Got one! Elapsed wall clock time (in seconds):1.229
o 633
c Got one! Elapsed wall clock time (in seconds):1.241
o 632
c Got one! Elapsed wall clock time (in seconds):1.245
o 609
c Got one! Elapsed wall clock time (in seconds):1.265
o 608
c Got one! Elapsed wall clock time (in seconds):1.274
o 607
c Got one! Elapsed wall clock time (in seconds):1.303
o 606
c Got one! Elapsed wall clock time (in seconds):1.344
o 605
c Got one! Elapsed wall clock time (in seconds):1.349
o 604
c Got one! Elapsed wall clock time (in seconds):1.353
o 581
c Got one! Elapsed wall clock time (in seconds):1.427
o 580
c Got one! Elapsed wall clock time (in seconds):1.466
o 579
c Got one! Elapsed wall clock time (in seconds):1.493
o 578
c Got one! Elapsed wall clock time (in seconds):1.526
o 577
c Got one! Elapsed wall clock time (in seconds):1.547
o 576
c Got one! Elapsed wall clock time (in seconds):1.557
o 575
c Got one! Elapsed wall clock time (in seconds):1.563
o 574
c Got one! Elapsed wall clock time (in seconds):1.568
o 555
c Got one! Elapsed wall clock time (in seconds):1.664
o 554
c Got one! Elapsed wall clock time (in seconds):1.749
o 553
c Got one! Elapsed wall clock time (in seconds):1.79
o 552
c Got one! Elapsed wall clock time (in seconds):1.832
o 551
c Got one! Elapsed wall clock time (in seconds):1.837
o 532
c Got one! Elapsed wall clock time (in seconds):1.939
o 531
c Got one! Elapsed wall clock time (in seconds):2.154
o 530
c Got one! Elapsed wall clock time (in seconds):2.222
o 529
c Got one! Elapsed wall clock time (in seconds):2.235
o 528
c Got one! Elapsed wall clock time (in seconds):2.245
o 527
c Got one! Elapsed wall clock time (in seconds):2.251
o 526
c Got one! Elapsed wall clock time (in seconds):2.255
o 510
c Got one! Elapsed wall clock time (in seconds):2.37
o 509
c Got one! Elapsed wall clock time (in seconds):2.53
o 508
c Got one! Elapsed wall clock time (in seconds):2.676
o 507
c Got one! Elapsed wall clock time (in seconds):2.745
o 506
c Got one! Elapsed wall clock time (in seconds):2.755
o 505
c Got one! Elapsed wall clock time (in seconds):2.765
o 504
c Got one! Elapsed wall clock time (in seconds):2.77
o 490
c Got one! Elapsed wall clock time (in seconds):2.889
o 489
c Got one! Elapsed wall clock time (in seconds):3.252
o 488
c Got one! Elapsed wall clock time (in seconds):3.443
o 487
c Got one! Elapsed wall clock time (in seconds):3.552
o 486
c Got one! Elapsed wall clock time (in seconds):3.652
o 485
c Got one! Elapsed wall clock time (in seconds):3.657
o 472
c Got one! Elapsed wall clock time (in seconds):4.287
o 471
c Got one! Elapsed wall clock time (in seconds):4.69
o 470
c Got one! Elapsed wall clock time (in seconds):4.821
o 469
c Got one! Elapsed wall clock time (in seconds):4.826
o 457
c Got one! Elapsed wall clock time (in seconds):5.179
o 456
c Got one! Elapsed wall clock time (in seconds):6.054
o 455
c Got one! Elapsed wall clock time (in seconds):6.285
o 454
c Got one! Elapsed wall clock time (in seconds):6.514
o 453
c Got one! Elapsed wall clock time (in seconds):6.526
o 452
c Got one! Elapsed wall clock time (in seconds):6.536
o 451
c Got one! Elapsed wall clock time (in seconds):6.541
o 443
c Got one! Elapsed wall clock time (in seconds):9.202
o 442
c Got one! Elapsed wall clock time (in seconds):10.01
o 441
c Got one! Elapsed wall clock time (in seconds):10.731
o 440
c Got one! Elapsed wall clock time (in seconds):10.947
o 439
c Got one! Elapsed wall clock time (in seconds):11.031
o 438
c Got one! Elapsed wall clock time (in seconds):11.066
o 437
c Got one! Elapsed wall clock time (in seconds):11.107
o 436
c Got one! Elapsed wall clock time (in seconds):11.134
o 435
c Got one! Elapsed wall clock time (in seconds):11.148
o 434
c Got one! Elapsed wall clock time (in seconds):11.157
o 433
c Got one! Elapsed wall clock time (in seconds):20.938
o 432
c Got one! Elapsed wall clock time (in seconds):23.293
o 431
c Got one! Elapsed wall clock time (in seconds):24.017
o 430
c Got one! Elapsed wall clock time (in seconds):24.239
o 429
c Got one! Elapsed wall clock time (in seconds):24.263
o 428
c Got one! Elapsed wall clock time (in seconds):24.29
o 427
c Got one! Elapsed wall clock time (in seconds):24.295
o 425
c Got one! Elapsed wall clock time (in seconds):44.769
o 424
c Got one! Elapsed wall clock time (in seconds):54.671
o 423
c Got one! Elapsed wall clock time (in seconds):56.053
o 422
c Got one! Elapsed wall clock time (in seconds):57.058
o 421
c Got one! Elapsed wall clock time (in seconds):57.228
o 420
c Got one! Elapsed wall clock time (in seconds):57.311
o 419
c Got one! Elapsed wall clock time (in seconds):57.332
o 418
c Got one! Elapsed wall clock time (in seconds):98.026
o 417
c Got one! Elapsed wall clock time (in seconds):123.986
o 416
c Got one! Elapsed wall clock time (in seconds):133.831
o 415
c Got one! Elapsed wall clock time (in seconds):134.78
o 414
c cleaning 96529 clauses out of 193500
c Got one! Elapsed wall clock time (in seconds):236.061
o 413
c cleaning 90986 clauses out of 182471
c Got one! Elapsed wall clock time (in seconds):291.565
o 412
c cleaning 95273 clauses out of 190985
c Got one! Elapsed wall clock time (in seconds):400.256
o 411
c cleaning 90633 clauses out of 181712
c cleaning 94777 clauses out of 189580
c cleaning 88871 clauses out of 177802
c Got one! Elapsed wall clock time (in seconds):646.482
o 410
c cleaning 91210 clauses out of 182432
c cleaning 87351 clauses out of 174723
c Got one! Elapsed wall clock time (in seconds):841.766
o 409
c cleaning 90671 clauses out of 181370
c cleaning 87846 clauses out of 175700
c Got one! Elapsed wall clock time (in seconds):941.333
o 408
c cleaning 90166 clauses out of 180353
c cleaning 86336 clauses out of 172688
c cleaning 90165 clauses out of 180353
c cleaning 85836 clauses out of 171687
c cleaning 87418 clauses out of 174851
c cleaning 82459 clauses out of 164932
c cleaning 83478 clauses out of 166974
c cleaning 76994 clauses out of 153995
Killed
1836.772u 0.591s 30:37.94 99.9%	0+0k 0+0io 1pf+0w