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_a81.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/MANN_a81.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_a81.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.131s.
c #vars     1679
c #constraints  1638
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1638
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.517
o 1557
c Got one! Elapsed wall clock time (in seconds):0.57
o 779
c Got one! Elapsed wall clock time (in seconds):0.793
o 778
c Got one! Elapsed wall clock time (in seconds):0.818
o 741
c Got one! Elapsed wall clock time (in seconds):0.991
o 740
c Got one! Elapsed wall clock time (in seconds):1.153
o 739
c Got one! Elapsed wall clock time (in seconds):1.173
o 705
c Got one! Elapsed wall clock time (in seconds):1.21
o 704
c Got one! Elapsed wall clock time (in seconds):1.257
o 703
c Got one! Elapsed wall clock time (in seconds):1.276
o 671
c Got one! Elapsed wall clock time (in seconds):1.287
o 670
c Got one! Elapsed wall clock time (in seconds):1.3
o 669
c Got one! Elapsed wall clock time (in seconds):1.304
o 668
c Got one! Elapsed wall clock time (in seconds):1.308
o 639
c Got one! Elapsed wall clock time (in seconds):1.319
o 638
c Got one! Elapsed wall clock time (in seconds):1.327
o 637
c Got one! Elapsed wall clock time (in seconds):1.331
o 636
c Got one! Elapsed wall clock time (in seconds):1.335
o 609
c Got one! Elapsed wall clock time (in seconds):1.35
o 608
c Got one! Elapsed wall clock time (in seconds):1.365
o 607
c Got one! Elapsed wall clock time (in seconds):1.374
o 606
c Got one! Elapsed wall clock time (in seconds):1.378
o 605
c Got one! Elapsed wall clock time (in seconds):1.382
o 581
c Got one! Elapsed wall clock time (in seconds):1.419
o 580
c Got one! Elapsed wall clock time (in seconds):1.459
o 579
c Got one! Elapsed wall clock time (in seconds):1.468
o 578
c Got one! Elapsed wall clock time (in seconds):1.478
o 577
c Got one! Elapsed wall clock time (in seconds):1.482
o 576
c Got one! Elapsed wall clock time (in seconds):1.486
o 555
c Got one! Elapsed wall clock time (in seconds):1.524
o 554
c Got one! Elapsed wall clock time (in seconds):1.563
o 553
c Got one! Elapsed wall clock time (in seconds):1.585
o 552
c Got one! Elapsed wall clock time (in seconds):1.595
o 551
c Got one! Elapsed wall clock time (in seconds):1.599
o 531
c Got one! Elapsed wall clock time (in seconds):1.702
o 530
c Got one! Elapsed wall clock time (in seconds):1.762
o 529
c Got one! Elapsed wall clock time (in seconds):1.784
o 528
c Got one! Elapsed wall clock time (in seconds):1.798
o 527
c Got one! Elapsed wall clock time (in seconds):1.801
o 509
c Got one! Elapsed wall clock time (in seconds):1.906
o 508
c Got one! Elapsed wall clock time (in seconds):1.939
o 507
c Got one! Elapsed wall clock time (in seconds):1.991
o 506
c Got one! Elapsed wall clock time (in seconds):2.028
o 505
c Got one! Elapsed wall clock time (in seconds):2.039
o 504
c Got one! Elapsed wall clock time (in seconds):2.047
o 503
c Got one! Elapsed wall clock time (in seconds):2.051
o 489
c Got one! Elapsed wall clock time (in seconds):2.395
o 488
c Got one! Elapsed wall clock time (in seconds):2.464
o 487
c Got one! Elapsed wall clock time (in seconds):2.47
o 486
c Got one! Elapsed wall clock time (in seconds):2.474
o 471
c Got one! Elapsed wall clock time (in seconds):2.613
o 470
c Got one! Elapsed wall clock time (in seconds):2.797
o 469
c Got one! Elapsed wall clock time (in seconds):2.981
o 468
c Got one! Elapsed wall clock time (in seconds):3.048
o 467
c Got one! Elapsed wall clock time (in seconds):3.065
o 466
c Got one! Elapsed wall clock time (in seconds):3.069
o 455
c Got one! Elapsed wall clock time (in seconds):3.603
o 454
c Got one! Elapsed wall clock time (in seconds):4.004
o 453
c Got one! Elapsed wall clock time (in seconds):4.134
o 452
c Got one! Elapsed wall clock time (in seconds):4.174
o 451
c Got one! Elapsed wall clock time (in seconds):4.205
o 450
c Got one! Elapsed wall clock time (in seconds):4.21
o 449
c Got one! Elapsed wall clock time (in seconds):4.214
o 441
c Got one! Elapsed wall clock time (in seconds):5.52
o 440
c Got one! Elapsed wall clock time (in seconds):6.353
o 439
c Got one! Elapsed wall clock time (in seconds):6.635
o 438
c Got one! Elapsed wall clock time (in seconds):6.676
o 437
c Got one! Elapsed wall clock time (in seconds):6.69
o 436
c Got one! Elapsed wall clock time (in seconds):6.695
o 429
c Got one! Elapsed wall clock time (in seconds):10.159
o 428
c Got one! Elapsed wall clock time (in seconds):10.192
o 427
c Got one! Elapsed wall clock time (in seconds):10.236
o 426
c Got one! Elapsed wall clock time (in seconds):10.24
o 419
c Got one! Elapsed wall clock time (in seconds):18.78
o 418
c Got one! Elapsed wall clock time (in seconds):20.727
o 417
c Got one! Elapsed wall clock time (in seconds):22.009
o 416
c Got one! Elapsed wall clock time (in seconds):22.134
o 415
c Got one! Elapsed wall clock time (in seconds):22.352
o 414
c Got one! Elapsed wall clock time (in seconds):22.39
o 413
c Got one! Elapsed wall clock time (in seconds):22.406
o 412
c Got one! Elapsed wall clock time (in seconds):22.42
o 411
c Got one! Elapsed wall clock time (in seconds):32.508
o 410
c Got one! Elapsed wall clock time (in seconds):47.86
o 409
c Got one! Elapsed wall clock time (in seconds):52.796
o 408
c Got one! Elapsed wall clock time (in seconds):54.718
o 407
c Got one! Elapsed wall clock time (in seconds):55.108
o 406
c Got one! Elapsed wall clock time (in seconds):55.338
o 405
c Got one! Elapsed wall clock time (in seconds):94.166
o 404
c cleaning 98283 clauses out of 197000
c Got one! Elapsed wall clock time (in seconds):143.848
o 403
c Got one! Elapsed wall clock time (in seconds):154.06
o 402
c cleaning 94156 clauses out of 188717
c Got one! Elapsed wall clock time (in seconds):237.21
o 401
c cleaning 97584 clauses out of 195562
c Got one! Elapsed wall clock time (in seconds):289.77
o 400
c cleaning 92809 clauses out of 185978
c Got one! Elapsed wall clock time (in seconds):382.004
o 399
c cleaning 96653 clauses out of 193668
c cleaning 92749 clauses out of 185516
c cleaning 95130 clauses out of 190270
c cleaning 86813 clauses out of 173636
c cleaning 89152 clauses out of 178323
c cleaning 84080 clauses out of 168173
c cleaning 89026 clauses out of 178091
c cleaning 82765 clauses out of 165567
c cleaning 86398 clauses out of 172800
c cleaning 82195 clauses out of 164408
c cleaning 83847 clauses out of 167707
c cleaning 79168 clauses out of 158360
c cleaning 84304 clauses out of 168692
c cleaning 79177 clauses out of 158388
c cleaning 82347 clauses out of 164712
c cleaning 76428 clauses out of 152864
c cleaning 81959 clauses out of 163938
Killed
1836.405u 0.559s 30:41.12 99.7%	0+0k 0+0io 1pf+0w