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_n16.ra1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n16.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_n16.ra1.wcnf
c reading problem ... 
c ... done. Wall clock time 0.318s.
c #vars     2500
c #constraints  2380
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 2380
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):1.064
o 138449
c Got one! Elapsed wall clock time (in seconds):1.577
o 138407
c Got one! Elapsed wall clock time (in seconds):1.815
o 138352
c Got one! Elapsed wall clock time (in seconds):2.111
o 80684
c Got one! Elapsed wall clock time (in seconds):2.49
o 80475
c Got one! Elapsed wall clock time (in seconds):2.701
o 80314
c Got one! Elapsed wall clock time (in seconds):2.961
o 59930
c Got one! Elapsed wall clock time (in seconds):3.252
o 59924
c Got one! Elapsed wall clock time (in seconds):3.523
o 59916
c Got one! Elapsed wall clock time (in seconds):6.958
o 59897
c Got one! Elapsed wall clock time (in seconds):7.389
o 59895
c Got one! Elapsed wall clock time (in seconds):7.786
o 59881
c Got one! Elapsed wall clock time (in seconds):8.189
o 59823
c Got one! Elapsed wall clock time (in seconds):8.637
o 59821
c Got one! Elapsed wall clock time (in seconds):9.283
o 59818
c Got one! Elapsed wall clock time (in seconds):9.683
o 56053
c Got one! Elapsed wall clock time (in seconds):10.315
o 56020
c Got one! Elapsed wall clock time (in seconds):10.963
o 56018
c Got one! Elapsed wall clock time (in seconds):11.955
o 55990
c Got one! Elapsed wall clock time (in seconds):12.428
o 55982
c Got one! Elapsed wall clock time (in seconds):13.119
o 55981
c Got one! Elapsed wall clock time (in seconds):15.169
o 55978
c Got one! Elapsed wall clock time (in seconds):15.765
o 55975
c Got one! Elapsed wall clock time (in seconds):16.436
o 55974
c Got one! Elapsed wall clock time (in seconds):21.788
o 55973
c Got one! Elapsed wall clock time (in seconds):25.275
o 55972
c Got one! Elapsed wall clock time (in seconds):25.693
o 55968
c Got one! Elapsed wall clock time (in seconds):26.427
o 55956
c Got one! Elapsed wall clock time (in seconds):26.805
o 55933
c Got one! Elapsed wall clock time (in seconds):27.393
o 55930
c Got one! Elapsed wall clock time (in seconds):28.042
o 55909
c Got one! Elapsed wall clock time (in seconds):28.974
o 55903
c Got one! Elapsed wall clock time (in seconds):29.692
o 55902
c Got one! Elapsed wall clock time (in seconds):30.485
o 55862
c Got one! Elapsed wall clock time (in seconds):30.976
o 55850
c Got one! Elapsed wall clock time (in seconds):31.656
o 55848
c Got one! Elapsed wall clock time (in seconds):32.411
o 55847
c Got one! Elapsed wall clock time (in seconds):32.992
o 55845
c Got one! Elapsed wall clock time (in seconds):33.655
o 55840
c Got one! Elapsed wall clock time (in seconds):34.112
o 55837
c Got one! Elapsed wall clock time (in seconds):34.538
o 55830
c Got one! Elapsed wall clock time (in seconds):35.225
o 55700
c Got one! Elapsed wall clock time (in seconds):35.809
o 55682
c Got one! Elapsed wall clock time (in seconds):36.47
o 55679
c Got one! Elapsed wall clock time (in seconds):37.098
o 55666
c Got one! Elapsed wall clock time (in seconds):37.526
o 55664
c Got one! Elapsed wall clock time (in seconds):38.041
o 55663
c Got one! Elapsed wall clock time (in seconds):38.705
o 55657
c Got one! Elapsed wall clock time (in seconds):39.449
o 55655
c Got one! Elapsed wall clock time (in seconds):40.112
o 55650
c Got one! Elapsed wall clock time (in seconds):40.802
o 55649
c Got one! Elapsed wall clock time (in seconds):41.413
o 55648
c Got one! Elapsed wall clock time (in seconds):42.021
o 55646
c Got one! Elapsed wall clock time (in seconds):42.736
o 55645
c Got one! Elapsed wall clock time (in seconds):43.385
o 55638
c Got one! Elapsed wall clock time (in seconds):44.354
o 55625
c Got one! Elapsed wall clock time (in seconds):45.067
o 55624
c Got one! Elapsed wall clock time (in seconds):45.779
o 55623
c Got one! Elapsed wall clock time (in seconds):46.516
o 55617
c Got one! Elapsed wall clock time (in seconds):47.297
o 55616
c Got one! Elapsed wall clock time (in seconds):48.216
o 55615
c Got one! Elapsed wall clock time (in seconds):48.857
o 55612
c Got one! Elapsed wall clock time (in seconds):50.612
o 55579
c Got one! Elapsed wall clock time (in seconds):51.302
o 55578
c Got one! Elapsed wall clock time (in seconds):52.228
o 55577
c Got one! Elapsed wall clock time (in seconds):52.973
o 55573
c Got one! Elapsed wall clock time (in seconds):53.75
o 55556
c Got one! Elapsed wall clock time (in seconds):54.433
o 55555
c Got one! Elapsed wall clock time (in seconds):55.116
o 49595
c Got one! Elapsed wall clock time (in seconds):58.581
o 49594
c Got one! Elapsed wall clock time (in seconds):66.217
o 49593
c Got one! Elapsed wall clock time (in seconds):69.41
o 49590
c Got one! Elapsed wall clock time (in seconds):69.941
o 49589
c Got one! Elapsed wall clock time (in seconds):74.317
o 49586
c Got one! Elapsed wall clock time (in seconds):77.564
o 49578
c Got one! Elapsed wall clock time (in seconds):78.384
o 49577
c Got one! Elapsed wall clock time (in seconds):128.722
o 49576
c Got one! Elapsed wall clock time (in seconds):132.753
o 49575
c Got one! Elapsed wall clock time (in seconds):133.943
o 49572
c Got one! Elapsed wall clock time (in seconds):135.364
o 49571
c Got one! Elapsed wall clock time (in seconds):136.51
o 49570
c Got one! Elapsed wall clock time (in seconds):164.827
o 49567
c Got one! Elapsed wall clock time (in seconds):166.764
o 49564
c Got one! Elapsed wall clock time (in seconds):173.414
o 49563
c Got one! Elapsed wall clock time (in seconds):179.042
o 49561
c Got one! Elapsed wall clock time (in seconds):187.463
o 49558
c Got one! Elapsed wall clock time (in seconds):192.215
o 49556
c Got one! Elapsed wall clock time (in seconds):193.982
o 49552
c Got one! Elapsed wall clock time (in seconds):195.296
o 49551
c Got one! Elapsed wall clock time (in seconds):196.434
o 49547
c Got one! Elapsed wall clock time (in seconds):197.589
o 49545
c Got one! Elapsed wall clock time (in seconds):222.968
o 49543
c Got one! Elapsed wall clock time (in seconds):224.045
o 49541
c Got one! Elapsed wall clock time (in seconds):224.904
o 49538
c Got one! Elapsed wall clock time (in seconds):232.603
o 49530
c Got one! Elapsed wall clock time (in seconds):233.622
o 49529
c Got one! Elapsed wall clock time (in seconds):234.618
o 49528
c Got one! Elapsed wall clock time (in seconds):237.533
o 49526
c Got one! Elapsed wall clock time (in seconds):238.708
o 49524
c Got one! Elapsed wall clock time (in seconds):246.233
o 49514
c Got one! Elapsed wall clock time (in seconds):254.417
o 49513
c Got one! Elapsed wall clock time (in seconds):275.347
o 49512
c Got one! Elapsed wall clock time (in seconds):297.185
o 49511
c Got one! Elapsed wall clock time (in seconds):300.257
o 49507
c Got one! Elapsed wall clock time (in seconds):341.593
o 49506
c Got one! Elapsed wall clock time (in seconds):344.29
o 49505
c Got one! Elapsed wall clock time (in seconds):345.354
o 49504
c Got one! Elapsed wall clock time (in seconds):347.159
o 49502
c Got one! Elapsed wall clock time (in seconds):356.234
o 49501
c cleaning 237244 clauses out of 474500
c Got one! Elapsed wall clock time (in seconds):365.423
o 49499
c Got one! Elapsed wall clock time (in seconds):366.331
o 49496
c Got one! Elapsed wall clock time (in seconds):372.889
o 49495
c Got one! Elapsed wall clock time (in seconds):373.946
o 49492
c Got one! Elapsed wall clock time (in seconds):375.371
o 49485
c Got one! Elapsed wall clock time (in seconds):376.343
o 49484
c Got one! Elapsed wall clock time (in seconds):391.336
o 49483
c Got one! Elapsed wall clock time (in seconds):392.388
o 49482
c Got one! Elapsed wall clock time (in seconds):404.107
o 49480
c Got one! Elapsed wall clock time (in seconds):405.267
o 49478
c Got one! Elapsed wall clock time (in seconds):406.318
o 49474
c Got one! Elapsed wall clock time (in seconds):407.237
o 49473
c Got one! Elapsed wall clock time (in seconds):409.346
o 49471
c Got one! Elapsed wall clock time (in seconds):413.87
o 49469
c Got one! Elapsed wall clock time (in seconds):415.053
o 49468
c Got one! Elapsed wall clock time (in seconds):417.004
o 49466
c Got one! Elapsed wall clock time (in seconds):443.814
o 49463
c Got one! Elapsed wall clock time (in seconds):445.137
o 49461
c Got one! Elapsed wall clock time (in seconds):465.478
o 49459
c Got one! Elapsed wall clock time (in seconds):466.622
o 49456
c Got one! Elapsed wall clock time (in seconds):468.572
o 49454
c Got one! Elapsed wall clock time (in seconds):469.845
o 49453
c Got one! Elapsed wall clock time (in seconds):470.999
o 49437
c Got one! Elapsed wall clock time (in seconds):473.194
o 49408
c Got one! Elapsed wall clock time (in seconds):474.342
o 49401
c Got one! Elapsed wall clock time (in seconds):489.234
o 49399
c Got one! Elapsed wall clock time (in seconds):491.096
o 49385
c Got one! Elapsed wall clock time (in seconds):492.448
o 49373
c Got one! Elapsed wall clock time (in seconds):493.883
o 49372
c Got one! Elapsed wall clock time (in seconds):495.158
o 49371
c Got one! Elapsed wall clock time (in seconds):496.427
o 49369
c Got one! Elapsed wall clock time (in seconds):498.06
o 49368
c Got one! Elapsed wall clock time (in seconds):499.319
o 49367
c Got one! Elapsed wall clock time (in seconds):500.724
o 49364
c cleaning 236620 clauses out of 473257
c cleaning 240065 clauses out of 480136
c cleaning 202273 clauses out of 404571
c cleaning 224393 clauses out of 448798
c cleaning 201192 clauses out of 402409
c cleaning 188105 clauses out of 376215
Killed
1833.628u 1.137s 30:39.42 99.7%	0+0k 0+0io 1pf+0w