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_a9.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/MANN_a9.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_a9.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.186s.
c #vars     1881
c #constraints  1836
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1836
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.552
o 1592
c Got one! Elapsed wall clock time (in seconds):0.641
o 795
c Got one! Elapsed wall clock time (in seconds):0.732
o 794
c Got one! Elapsed wall clock time (in seconds):0.784
o 761
c Got one! Elapsed wall clock time (in seconds):0.85
o 760
c Got one! Elapsed wall clock time (in seconds):0.87
o 738
c Got one! Elapsed wall clock time (in seconds):0.94
o 737
c Got one! Elapsed wall clock time (in seconds):0.98
o 727
c Got one! Elapsed wall clock time (in seconds):1.108
o 726
c Got one! Elapsed wall clock time (in seconds):1.121
o 725
c Got one! Elapsed wall clock time (in seconds):1.129
o 724
c Got one! Elapsed wall clock time (in seconds):1.14
o 695
c Got one! Elapsed wall clock time (in seconds):1.152
o 694
c Got one! Elapsed wall clock time (in seconds):1.166
o 693
c Got one! Elapsed wall clock time (in seconds):1.178
o 692
c Got one! Elapsed wall clock time (in seconds):1.183
o 678
c Got one! Elapsed wall clock time (in seconds):1.189
o 677
c Got one! Elapsed wall clock time (in seconds):1.193
o 667
c Got one! Elapsed wall clock time (in seconds):1.219
o 666
c Got one! Elapsed wall clock time (in seconds):1.239
o 665
c Got one! Elapsed wall clock time (in seconds):1.253
o 664
c Got one! Elapsed wall clock time (in seconds):1.264
o 663
c Got one! Elapsed wall clock time (in seconds):1.273
o 662
c Got one! Elapsed wall clock time (in seconds):1.278
o 661
c Got one! Elapsed wall clock time (in seconds):1.283
o 641
c Got one! Elapsed wall clock time (in seconds):1.305
o 640
c Got one! Elapsed wall clock time (in seconds):1.326
o 639
c Got one! Elapsed wall clock time (in seconds):1.35
o 638
c Got one! Elapsed wall clock time (in seconds):1.363
o 637
c Got one! Elapsed wall clock time (in seconds):1.371
o 636
c Got one! Elapsed wall clock time (in seconds):1.38
o 635
c Got one! Elapsed wall clock time (in seconds):1.385
o 634
c Got one! Elapsed wall clock time (in seconds):1.39
o 615
c Got one! Elapsed wall clock time (in seconds):1.413
o 614
c Got one! Elapsed wall clock time (in seconds):1.451
o 613
c Got one! Elapsed wall clock time (in seconds):1.478
o 612
c Got one! Elapsed wall clock time (in seconds):1.486
o 611
c Got one! Elapsed wall clock time (in seconds):1.495
o 610
c Got one! Elapsed wall clock time (in seconds):1.501
o 609
c Got one! Elapsed wall clock time (in seconds):1.505
o 593
c Got one! Elapsed wall clock time (in seconds):1.531
o 592
c Got one! Elapsed wall clock time (in seconds):1.589
o 591
c Got one! Elapsed wall clock time (in seconds):1.65
o 590
c Got one! Elapsed wall clock time (in seconds):1.681
o 589
c Got one! Elapsed wall clock time (in seconds):1.686
o 573
c Got one! Elapsed wall clock time (in seconds):1.716
o 572
c Got one! Elapsed wall clock time (in seconds):1.859
o 571
c Got one! Elapsed wall clock time (in seconds):1.898
o 570
c Got one! Elapsed wall clock time (in seconds):1.904
o 569
c Got one! Elapsed wall clock time (in seconds):1.908
o 554
c Got one! Elapsed wall clock time (in seconds):1.914
o 553
c Got one! Elapsed wall clock time (in seconds):2.002
o 552
c Got one! Elapsed wall clock time (in seconds):2.107
o 551
c Got one! Elapsed wall clock time (in seconds):2.142
o 550
c Got one! Elapsed wall clock time (in seconds):2.199
o 549
c Got one! Elapsed wall clock time (in seconds):2.235
o 548
c Got one! Elapsed wall clock time (in seconds):2.261
o 547
c Got one! Elapsed wall clock time (in seconds):2.279
o 546
c Got one! Elapsed wall clock time (in seconds):2.286
o 545
c Got one! Elapsed wall clock time (in seconds):2.311
o 544
c Got one! Elapsed wall clock time (in seconds):2.317
o 543
c Got one! Elapsed wall clock time (in seconds):2.326
o 542
c Got one! Elapsed wall clock time (in seconds):2.332
o 541
c Got one! Elapsed wall clock time (in seconds):2.34
o 540
c Got one! Elapsed wall clock time (in seconds):2.345
o 539
c Got one! Elapsed wall clock time (in seconds):2.35
o 533
c Got one! Elapsed wall clock time (in seconds):2.41
o 532
c Got one! Elapsed wall clock time (in seconds):2.651
o 531
c Got one! Elapsed wall clock time (in seconds):2.863
o 530
c Got one! Elapsed wall clock time (in seconds):3.061
o 529
c Got one! Elapsed wall clock time (in seconds):3.128
o 528
c Got one! Elapsed wall clock time (in seconds):3.283
o 527
c Got one! Elapsed wall clock time (in seconds):3.332
o 526
c Got one! Elapsed wall clock time (in seconds):3.372
o 525
c Got one! Elapsed wall clock time (in seconds):3.438
o 524
c Got one! Elapsed wall clock time (in seconds):3.469
o 523
c Got one! Elapsed wall clock time (in seconds):3.476
o 522
c Got one! Elapsed wall clock time (in seconds):3.481
o 512
c Got one! Elapsed wall clock time (in seconds):3.509
o 511
c Got one! Elapsed wall clock time (in seconds):3.807
o 510
c Got one! Elapsed wall clock time (in seconds):4.429
o 509
c Got one! Elapsed wall clock time (in seconds):4.622
o 508
c Got one! Elapsed wall clock time (in seconds):4.648
o 507
c Got one! Elapsed wall clock time (in seconds):4.701
o 506
c Got one! Elapsed wall clock time (in seconds):4.706
o 497
c Got one! Elapsed wall clock time (in seconds):4.736
o 496
c Got one! Elapsed wall clock time (in seconds):5.307
o 495
c Got one! Elapsed wall clock time (in seconds):5.946
o 494
c Got one! Elapsed wall clock time (in seconds):6.357
o 493
c Got one! Elapsed wall clock time (in seconds):6.655
o 492
c Got one! Elapsed wall clock time (in seconds):6.9
o 491
c Got one! Elapsed wall clock time (in seconds):7.185
o 490
c Got one! Elapsed wall clock time (in seconds):7.332
o 489
c Got one! Elapsed wall clock time (in seconds):7.452
o 488
c Got one! Elapsed wall clock time (in seconds):7.497
o 487
c Got one! Elapsed wall clock time (in seconds):7.51
o 486
c Got one! Elapsed wall clock time (in seconds):7.516
o 482
c Got one! Elapsed wall clock time (in seconds):11.575
o 481
c Got one! Elapsed wall clock time (in seconds):13.385
o 480
c Got one! Elapsed wall clock time (in seconds):14.336
o 479
c Got one! Elapsed wall clock time (in seconds):14.711
o 478
c Got one! Elapsed wall clock time (in seconds):14.998
o 477
c Got one! Elapsed wall clock time (in seconds):15.205
o 476
c Got one! Elapsed wall clock time (in seconds):15.301
o 475
c Got one! Elapsed wall clock time (in seconds):15.37
o 474
c Got one! Elapsed wall clock time (in seconds):15.424
o 473
c Got one! Elapsed wall clock time (in seconds):15.464
o 472
c Got one! Elapsed wall clock time (in seconds):15.477
o 471
c Got one! Elapsed wall clock time (in seconds):15.49
o 470
c Got one! Elapsed wall clock time (in seconds):15.495
o 467
c Got one! Elapsed wall clock time (in seconds):15.537
o 466
c Got one! Elapsed wall clock time (in seconds):19.216
o 465
c Got one! Elapsed wall clock time (in seconds):52.962
o 464
c Got one! Elapsed wall clock time (in seconds):55.344
o 463
c Got one! Elapsed wall clock time (in seconds):56.201
o 462
c Got one! Elapsed wall clock time (in seconds):56.329
o 461
c Got one! Elapsed wall clock time (in seconds):56.395
o 460
c Got one! Elapsed wall clock time (in seconds):56.431
o 459
c Got one! Elapsed wall clock time (in seconds):56.436
o 458
c Got one! Elapsed wall clock time (in seconds):56.574
o 457
c Got one! Elapsed wall clock time (in seconds):70.897
o 456
c Got one! Elapsed wall clock time (in seconds):76.061
o 455
c Got one! Elapsed wall clock time (in seconds):77.189
o 454
c Got one! Elapsed wall clock time (in seconds):79.099
o 453
c Got one! Elapsed wall clock time (in seconds):79.22
o 452
c Got one! Elapsed wall clock time (in seconds):79.533
o 451
c Got one! Elapsed wall clock time (in seconds):79.539
o 449
c Got one! Elapsed wall clock time (in seconds):83.117
o 448
c Got one! Elapsed wall clock time (in seconds):116.282
o 447
c Got one! Elapsed wall clock time (in seconds):131.407
o 446
c cleaning 89486 clauses out of 179500
c Got one! Elapsed wall clock time (in seconds):168.069
o 445
c Got one! Elapsed wall clock time (in seconds):168.782
o 444
c Got one! Elapsed wall clock time (in seconds):169.317
o 443
c Got one! Elapsed wall clock time (in seconds):169.325
o 442
c Got one! Elapsed wall clock time (in seconds):169.332
o 441
c Got one! Elapsed wall clock time (in seconds):169.337
o 440
c Got one! Elapsed wall clock time (in seconds):176.938
o 439
c cleaning 86266 clauses out of 173015
c Got one! Elapsed wall clock time (in seconds):270.045
o 438
c cleaning 89394 clauses out of 179248
c Got one! Elapsed wall clock time (in seconds):359.734
o 437
c cleaning 85460 clauses out of 171354
c Got one! Elapsed wall clock time (in seconds):428.839
o 436
c cleaning 89222 clauses out of 178894
c Got one! Elapsed wall clock time (in seconds):541.979
o 435
c cleaning 84140 clauses out of 168673
c cleaning 88015 clauses out of 176032
c cleaning 84167 clauses out of 168517
c cleaning 85668 clauses out of 171350
c cleaning 81817 clauses out of 163682
c Got one! Elapsed wall clock time (in seconds):923.469
o 434
c cleaning 85925 clauses out of 171866
c Got one! Elapsed wall clock time (in seconds):1008.705
o 433
c cleaning 81462 clauses out of 162945
c cleaning 85224 clauses out of 170478
c cleaning 81370 clauses out of 162755
c cleaning 86161 clauses out of 172384
c Got one! Elapsed wall clock time (in seconds):1371.432
o 432
c cleaning 80851 clauses out of 161723
c cleaning 83678 clauses out of 167372
c cleaning 78836 clauses out of 157695
c cleaning 82922 clauses out of 165858
c cleaning 78713 clauses out of 157439
c cleaning 81105 clauses out of 162223
Killed
1833.616u 1.111s 30:39.42 99.7%	0+0k 0+0io 1pf+0w