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_johnson32-2-4.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/johnson32-2-4.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/johnson32-2-4.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.124s.
c #vars     1570
c #constraints  1528
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1528
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.454
o 1248
c Got one! Elapsed wall clock time (in seconds):0.528
o 655
c Got one! Elapsed wall clock time (in seconds):0.689
o 654
c Got one! Elapsed wall clock time (in seconds):0.761
o 624
c Got one! Elapsed wall clock time (in seconds):0.963
o 623
c Got one! Elapsed wall clock time (in seconds):0.998
o 622
c Got one! Elapsed wall clock time (in seconds):1.024
o 621
c Got one! Elapsed wall clock time (in seconds):1.054
o 593
c Got one! Elapsed wall clock time (in seconds):1.298
o 592
c Got one! Elapsed wall clock time (in seconds):1.305
o 591
c Got one! Elapsed wall clock time (in seconds):1.322
o 590
c Got one! Elapsed wall clock time (in seconds):1.335
o 589
c Got one! Elapsed wall clock time (in seconds):1.339
o 570
c Got one! Elapsed wall clock time (in seconds):1.36
o 569
c Got one! Elapsed wall clock time (in seconds):1.372
o 568
c Got one! Elapsed wall clock time (in seconds):1.379
o 567
c Got one! Elapsed wall clock time (in seconds):1.383
o 566
c Got one! Elapsed wall clock time (in seconds):1.387
o 562
c Got one! Elapsed wall clock time (in seconds):1.399
o 561
c Got one! Elapsed wall clock time (in seconds):1.405
o 560
c Got one! Elapsed wall clock time (in seconds):1.413
o 559
c Got one! Elapsed wall clock time (in seconds):1.417
o 558
c Got one! Elapsed wall clock time (in seconds):1.421
o 541
c Got one! Elapsed wall clock time (in seconds):1.443
o 540
c Got one! Elapsed wall clock time (in seconds):1.466
o 539
c Got one! Elapsed wall clock time (in seconds):1.478
o 538
c Got one! Elapsed wall clock time (in seconds):1.488
o 537
c Got one! Elapsed wall clock time (in seconds):1.496
o 536
c Got one! Elapsed wall clock time (in seconds):1.5
o 535
c Got one! Elapsed wall clock time (in seconds):1.514
o 534
c Got one! Elapsed wall clock time (in seconds):1.525
o 533
c Got one! Elapsed wall clock time (in seconds):1.534
o 532
c Got one! Elapsed wall clock time (in seconds):1.538
o 531
c Got one! Elapsed wall clock time (in seconds):1.542
o 516
c Got one! Elapsed wall clock time (in seconds):1.562
o 515
c Got one! Elapsed wall clock time (in seconds):1.57
o 514
c Got one! Elapsed wall clock time (in seconds):1.614
o 513
c Got one! Elapsed wall clock time (in seconds):1.621
o 512
c Got one! Elapsed wall clock time (in seconds):1.625
o 511
c Got one! Elapsed wall clock time (in seconds):1.629
o 510
c Got one! Elapsed wall clock time (in seconds):1.634
o 497
c Got one! Elapsed wall clock time (in seconds):1.66
o 496
c Got one! Elapsed wall clock time (in seconds):1.729
o 495
c Got one! Elapsed wall clock time (in seconds):1.765
o 494
c Got one! Elapsed wall clock time (in seconds):1.808
o 493
c Got one! Elapsed wall clock time (in seconds):1.841
o 492
c Got one! Elapsed wall clock time (in seconds):1.86
o 491
c Got one! Elapsed wall clock time (in seconds):1.895
o 490
c Got one! Elapsed wall clock time (in seconds):1.911
o 489
c Got one! Elapsed wall clock time (in seconds):1.916
o 488
c Got one! Elapsed wall clock time (in seconds):1.926
o 487
c Got one! Elapsed wall clock time (in seconds):1.93
o 486
c Got one! Elapsed wall clock time (in seconds):1.941
o 485
c Got one! Elapsed wall clock time (in seconds):1.945
o 484
c Got one! Elapsed wall clock time (in seconds):1.949
o 475
c Got one! Elapsed wall clock time (in seconds):2.008
o 474
c Got one! Elapsed wall clock time (in seconds):2.058
o 473
c Got one! Elapsed wall clock time (in seconds):2.105
o 472
c Got one! Elapsed wall clock time (in seconds):2.169
o 471
c Got one! Elapsed wall clock time (in seconds):2.215
o 470
c Got one! Elapsed wall clock time (in seconds):2.219
o 469
c Got one! Elapsed wall clock time (in seconds):2.223
o 467
c Got one! Elapsed wall clock time (in seconds):2.23
o 466
c Got one! Elapsed wall clock time (in seconds):2.235
o 465
c Got one! Elapsed wall clock time (in seconds):2.24
o 464
c Got one! Elapsed wall clock time (in seconds):2.244
o 454
c Got one! Elapsed wall clock time (in seconds):2.288
o 453
c Got one! Elapsed wall clock time (in seconds):2.351
o 452
c Got one! Elapsed wall clock time (in seconds):2.419
o 451
c Got one! Elapsed wall clock time (in seconds):2.483
o 450
c Got one! Elapsed wall clock time (in seconds):2.542
o 449
c Got one! Elapsed wall clock time (in seconds):2.617
o 448
c Got one! Elapsed wall clock time (in seconds):2.622
o 447
c Got one! Elapsed wall clock time (in seconds):2.627
o 446
c Got one! Elapsed wall clock time (in seconds):2.631
o 444
c Got one! Elapsed wall clock time (in seconds):2.635
o 443
c Got one! Elapsed wall clock time (in seconds):2.639
o 433
c Got one! Elapsed wall clock time (in seconds):2.838
o 432
c Got one! Elapsed wall clock time (in seconds):2.974
o 431
c Got one! Elapsed wall clock time (in seconds):2.984
o 430
c Got one! Elapsed wall clock time (in seconds):2.99
o 429
c Got one! Elapsed wall clock time (in seconds):2.994
o 419
c Got one! Elapsed wall clock time (in seconds):3.157
o 418
c Got one! Elapsed wall clock time (in seconds):3.324
o 417
c Got one! Elapsed wall clock time (in seconds):3.393
o 416
c Got one! Elapsed wall clock time (in seconds):3.421
o 415
c Got one! Elapsed wall clock time (in seconds):3.437
o 414
c Got one! Elapsed wall clock time (in seconds):3.446
o 413
c Got one! Elapsed wall clock time (in seconds):3.452
o 412
c Got one! Elapsed wall clock time (in seconds):3.457
o 411
c Got one! Elapsed wall clock time (in seconds):3.461
o 404
c Got one! Elapsed wall clock time (in seconds):3.493
o 403
c Got one! Elapsed wall clock time (in seconds):4.145
o 402
c Got one! Elapsed wall clock time (in seconds):4.389
o 401
c Got one! Elapsed wall clock time (in seconds):4.497
o 400
c Got one! Elapsed wall clock time (in seconds):4.522
o 399
c Got one! Elapsed wall clock time (in seconds):4.534
o 398
c Got one! Elapsed wall clock time (in seconds):4.539
o 397
c Got one! Elapsed wall clock time (in seconds):4.543
o 391
c Got one! Elapsed wall clock time (in seconds):4.608
o 390
c Got one! Elapsed wall clock time (in seconds):5.564
o 389
c Got one! Elapsed wall clock time (in seconds):5.846
o 388
c Got one! Elapsed wall clock time (in seconds):6.019
o 387
c Got one! Elapsed wall clock time (in seconds):6.103
o 386
c Got one! Elapsed wall clock time (in seconds):6.136
o 385
c Got one! Elapsed wall clock time (in seconds):6.233
o 384
c Got one! Elapsed wall clock time (in seconds):6.268
o 383
c Got one! Elapsed wall clock time (in seconds):6.286
o 382
c Got one! Elapsed wall clock time (in seconds):6.294
o 381
c Got one! Elapsed wall clock time (in seconds):6.298
o 379
c Got one! Elapsed wall clock time (in seconds):6.362
o 378
c Got one! Elapsed wall clock time (in seconds):8.774
o 377
c Got one! Elapsed wall clock time (in seconds):9.257
o 376
c Got one! Elapsed wall clock time (in seconds):9.373
o 375
c Got one! Elapsed wall clock time (in seconds):9.878
o 374
c Got one! Elapsed wall clock time (in seconds):10.126
o 373
c Got one! Elapsed wall clock time (in seconds):10.226
o 372
c Got one! Elapsed wall clock time (in seconds):10.335
o 371
c Got one! Elapsed wall clock time (in seconds):10.399
o 370
c Got one! Elapsed wall clock time (in seconds):10.403
o 369
c Got one! Elapsed wall clock time (in seconds):11.168
o 368
c Got one! Elapsed wall clock time (in seconds):29.411
o 367
c Got one! Elapsed wall clock time (in seconds):29.958
o 366
c Got one! Elapsed wall clock time (in seconds):30.308
o 365
c Got one! Elapsed wall clock time (in seconds):31.447
o 364
c Got one! Elapsed wall clock time (in seconds):37.443
o 363
c Got one! Elapsed wall clock time (in seconds):60.251
o 362
c Got one! Elapsed wall clock time (in seconds):85.854
o 361
c Got one! Elapsed wall clock time (in seconds):87.432
o 360
c Got one! Elapsed wall clock time (in seconds):137.969
o 359
c cleaning 109349 clauses out of 219000
c Got one! Elapsed wall clock time (in seconds):242.388
o 358
c Got one! Elapsed wall clock time (in seconds):245.691
o 357
c Got one! Elapsed wall clock time (in seconds):250.812
o 356
c Got one! Elapsed wall clock time (in seconds):251.734
o 355
c cleaning 105439 clauses out of 211151
c cleaning 106103 clauses out of 212212
c cleaning 98050 clauses out of 196109
c cleaning 101023 clauses out of 202059
c cleaning 94990 clauses out of 190036
c cleaning 94520 clauses out of 189047
c cleaning 91008 clauses out of 182027
c cleaning 94751 clauses out of 189518
c cleaning 87129 clauses out of 174270
c cleaning 89062 clauses out of 178138
c cleaning 85036 clauses out of 170085
c cleaning 88766 clauses out of 177541
c cleaning 82627 clauses out of 165275
c cleaning 89562 clauses out of 179148
c Got one! Elapsed wall clock time (in seconds):1726.75
o 354
c cleaning 84785 clauses out of 169586
c cleaning 88644 clauses out of 177301
Killed
1833.140u 1.046s 30:38.93 99.7%	0+0k 0+0io 1pf+0w