Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-SAT4J-Maxsat-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_RAMSEY_ram_k3_n9.ra1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n9.ra1.wcnf
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.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@31d520c4
c Learn all clauses as in MiniSAT
c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
c Expensive 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/weighted_crafted/RAMSEY/ram_k3_n9.ra1.wcnf
c reading problem ... 
c ... done. Wall clock time 0.055s.
c #vars     246
c #constraints  210
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 210
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.27
o 55516
c Got one! Elapsed wall clock time (in seconds):0.46
o 55497
c Got one! Elapsed wall clock time (in seconds):0.517
o 55290
c Got one! Elapsed wall clock time (in seconds):0.578
o 55283
c Got one! Elapsed wall clock time (in seconds):0.642
o 55262
c Got one! Elapsed wall clock time (in seconds):0.677
o 55244
c Got one! Elapsed wall clock time (in seconds):0.75
o 55217
c Got one! Elapsed wall clock time (in seconds):0.824
o 55120
c Got one! Elapsed wall clock time (in seconds):0.947
o 55099
c Got one! Elapsed wall clock time (in seconds):0.993
o 55024
c Got one! Elapsed wall clock time (in seconds):1.058
o 54989
c Got one! Elapsed wall clock time (in seconds):1.346
o 54958
c Got one! Elapsed wall clock time (in seconds):1.375
o 54908
c Got one! Elapsed wall clock time (in seconds):1.414
o 54904
c Got one! Elapsed wall clock time (in seconds):1.456
o 54775
c Got one! Elapsed wall clock time (in seconds):1.473
o 54627
c Got one! Elapsed wall clock time (in seconds):1.512
o 54598
c Got one! Elapsed wall clock time (in seconds):1.589
o 54581
c Got one! Elapsed wall clock time (in seconds):1.604
o 54556
c Got one! Elapsed wall clock time (in seconds):1.64
o 54538
c Got one! Elapsed wall clock time (in seconds):1.69
o 54506
c Got one! Elapsed wall clock time (in seconds):1.719
o 54492
c Got one! Elapsed wall clock time (in seconds):1.733
o 54464
c Got one! Elapsed wall clock time (in seconds):1.786
o 54461
c Got one! Elapsed wall clock time (in seconds):1.802
o 54458
c Got one! Elapsed wall clock time (in seconds):1.818
o 54431
c Got one! Elapsed wall clock time (in seconds):1.835
o 54430
c Got one! Elapsed wall clock time (in seconds):1.851
o 54395
c Got one! Elapsed wall clock time (in seconds):1.868
o 54356
c Got one! Elapsed wall clock time (in seconds):1.896
o 54341
c Got one! Elapsed wall clock time (in seconds):1.915
o 54338
c Got one! Elapsed wall clock time (in seconds):1.932
o 54284
c Got one! Elapsed wall clock time (in seconds):1.948
o 54280
c Got one! Elapsed wall clock time (in seconds):1.967
o 54272
c Got one! Elapsed wall clock time (in seconds):1.984
o 54223
c Got one! Elapsed wall clock time (in seconds):2.002
o 54159
c Got one! Elapsed wall clock time (in seconds):2.021
o 54139
c Got one! Elapsed wall clock time (in seconds):2.04
o 53923
c Got one! Elapsed wall clock time (in seconds):2.058
o 53912
c Got one! Elapsed wall clock time (in seconds):2.08
o 53901
c Got one! Elapsed wall clock time (in seconds):2.113
o 53877
c Got one! Elapsed wall clock time (in seconds):2.133
o 53859
c Got one! Elapsed wall clock time (in seconds):2.205
o 53853
c Got one! Elapsed wall clock time (in seconds):2.237
o 53831
c Got one! Elapsed wall clock time (in seconds):2.258
o 53829
c Got one! Elapsed wall clock time (in seconds):2.278
o 53828
c Got one! Elapsed wall clock time (in seconds):2.294
o 53698
c Got one! Elapsed wall clock time (in seconds):2.311
o 53681
c Got one! Elapsed wall clock time (in seconds):2.328
o 53581
c Got one! Elapsed wall clock time (in seconds):2.365
o 53553
c Got one! Elapsed wall clock time (in seconds):2.383
o 53420
c Got one! Elapsed wall clock time (in seconds):2.402
o 53414
c Got one! Elapsed wall clock time (in seconds):2.423
o 53390
c Got one! Elapsed wall clock time (in seconds):2.443
o 53374
c Got one! Elapsed wall clock time (in seconds):2.467
o 53321
c Got one! Elapsed wall clock time (in seconds):2.487
o 53302
c Got one! Elapsed wall clock time (in seconds):2.51
o 53296
c Got one! Elapsed wall clock time (in seconds):2.533
o 53275
c Got one! Elapsed wall clock time (in seconds):2.554
o 53244
c Got one! Elapsed wall clock time (in seconds):2.575
o 53214
c Got one! Elapsed wall clock time (in seconds):2.594
o 53140
c Got one! Elapsed wall clock time (in seconds):2.617
o 53137
c Got one! Elapsed wall clock time (in seconds):2.64
o 53136
c Got one! Elapsed wall clock time (in seconds):2.662
o 53122
c Got one! Elapsed wall clock time (in seconds):2.684
o 53097
c Got one! Elapsed wall clock time (in seconds):2.705
o 53093
c Got one! Elapsed wall clock time (in seconds):2.731
o 53063
c Got one! Elapsed wall clock time (in seconds):2.756
o 53041
c Got one! Elapsed wall clock time (in seconds):2.78
o 53034
c Got one! Elapsed wall clock time (in seconds):2.806
o 53020
c Got one! Elapsed wall clock time (in seconds):2.829
o 53005
c Got one! Elapsed wall clock time (in seconds):2.854
o 52983
c Got one! Elapsed wall clock time (in seconds):2.884
o 52974
c Got one! Elapsed wall clock time (in seconds):2.915
o 52958
c Got one! Elapsed wall clock time (in seconds):2.945
o 52956
c Got one! Elapsed wall clock time (in seconds):2.973
o 52954
c Got one! Elapsed wall clock time (in seconds):3.0
o 52805
c Got one! Elapsed wall clock time (in seconds):3.024
o 52802
c Got one! Elapsed wall clock time (in seconds):3.049
o 52779
c Got one! Elapsed wall clock time (in seconds):3.074
o 52764
c Got one! Elapsed wall clock time (in seconds):3.101
o 52763
c Got one! Elapsed wall clock time (in seconds):3.128
o 52747
c Got one! Elapsed wall clock time (in seconds):3.158
o 52742
c Got one! Elapsed wall clock time (in seconds):3.187
o 52719
c Got one! Elapsed wall clock time (in seconds):3.219
o 52681
c Got one! Elapsed wall clock time (in seconds):3.248
o 52664
c Got one! Elapsed wall clock time (in seconds):3.276
o 52610
c Got one! Elapsed wall clock time (in seconds):3.305
o 52602
c Got one! Elapsed wall clock time (in seconds):3.333
o 52601
c Got one! Elapsed wall clock time (in seconds):3.367
o 52591
c Got one! Elapsed wall clock time (in seconds):3.394
o 52575
c Got one! Elapsed wall clock time (in seconds):3.423
o 52574
c Got one! Elapsed wall clock time (in seconds):3.458
o 52558
c Got one! Elapsed wall clock time (in seconds):3.499
o 52555
c Got one! Elapsed wall clock time (in seconds):3.534
o 52529
c Got one! Elapsed wall clock time (in seconds):3.568
o 52523
c Got one! Elapsed wall clock time (in seconds):3.605
o 52474
c Got one! Elapsed wall clock time (in seconds):3.647
o 52465
c Got one! Elapsed wall clock time (in seconds):3.68
o 52445
c Got one! Elapsed wall clock time (in seconds):3.737
o 52423
c Got one! Elapsed wall clock time (in seconds):3.771
o 52410
c Got one! Elapsed wall clock time (in seconds):3.805
o 52403
c Got one! Elapsed wall clock time (in seconds):3.846
o 52396
c Got one! Elapsed wall clock time (in seconds):3.886
o 52385
c Got one! Elapsed wall clock time (in seconds):3.922
o 52382
c Got one! Elapsed wall clock time (in seconds):3.96
o 52365
c Got one! Elapsed wall clock time (in seconds):3.997
o 52364
c Got one! Elapsed wall clock time (in seconds):4.018
o 7
c starts		: 215
c conflicts		: 10829
c decisions		: 48907
c propagations		: 165207
c inspects		: 7872625
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 10829
c ignored clauses	: 0
c root simplifications	: 0
c removed literals (reason simplification)	: 3291
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (assignments/second)	: 8.26035E7
c non guided choices	747
c learnt constraints type 
c org.sat4j.minisat.constraints.cnf.LearntHTClause => 10829
c constraints type 
c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 210
s OPTIMUM FOUND
v 1 2 -3 4 -5 6 7 -8 9 10 -11 -12 -13 14 -15 16 -17 18 19 -20 -21 -22 23 -24 25 26 27 28 29 30 31 -32 33 -34 35 36 0
c objective function=7
c Total wall clock time (in seconds): 4.076
4.322u 0.152s 0:04.58 97.5%	0+0k 0+0io 1pf+0w