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_p_hat700-3.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/p_hat700-3.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/p_hat700-3.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.07s.
c #vars     1302
c #constraints  1260
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1260
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.305
o 945
c Got one! Elapsed wall clock time (in seconds):0.351
o 453
c Got one! Elapsed wall clock time (in seconds):0.389
o 452
c Got one! Elapsed wall clock time (in seconds):0.437
o 436
c Got one! Elapsed wall clock time (in seconds):0.468
o 435
c Got one! Elapsed wall clock time (in seconds):0.496
o 421
c Got one! Elapsed wall clock time (in seconds):0.598
o 420
c Got one! Elapsed wall clock time (in seconds):0.621
o 419
c Got one! Elapsed wall clock time (in seconds):0.645
o 413
c Got one! Elapsed wall clock time (in seconds):0.684
o 412
c Got one! Elapsed wall clock time (in seconds):0.687
o 400
c Got one! Elapsed wall clock time (in seconds):0.706
o 399
c Got one! Elapsed wall clock time (in seconds):0.71
o 398
c Got one! Elapsed wall clock time (in seconds):0.72
o 397
c Got one! Elapsed wall clock time (in seconds):0.724
o 396
c Got one! Elapsed wall clock time (in seconds):0.727
o 390
c Got one! Elapsed wall clock time (in seconds):0.732
o 389
c Got one! Elapsed wall clock time (in seconds):0.735
o 379
c Got one! Elapsed wall clock time (in seconds):0.745
o 378
c Got one! Elapsed wall clock time (in seconds):0.753
o 377
c Got one! Elapsed wall clock time (in seconds):0.757
o 376
c Got one! Elapsed wall clock time (in seconds):0.762
o 375
c Got one! Elapsed wall clock time (in seconds):0.765
o 374
c Got one! Elapsed wall clock time (in seconds):0.768
o 365
c Got one! Elapsed wall clock time (in seconds):0.793
o 364
c Got one! Elapsed wall clock time (in seconds):0.84
o 363
c Got one! Elapsed wall clock time (in seconds):0.874
o 362
c Got one! Elapsed wall clock time (in seconds):0.878
o 361
c Got one! Elapsed wall clock time (in seconds):0.881
o 352
c Got one! Elapsed wall clock time (in seconds):0.915
o 351
c Got one! Elapsed wall clock time (in seconds):0.954
o 350
c Got one! Elapsed wall clock time (in seconds):0.959
o 349
c Got one! Elapsed wall clock time (in seconds):0.986
o 348
c Got one! Elapsed wall clock time (in seconds):0.995
o 347
c Got one! Elapsed wall clock time (in seconds):0.999
o 346
c Got one! Elapsed wall clock time (in seconds):1.011
o 345
c Got one! Elapsed wall clock time (in seconds):1.016
o 344
c Got one! Elapsed wall clock time (in seconds):1.019
o 336
c Got one! Elapsed wall clock time (in seconds):1.059
o 335
c Got one! Elapsed wall clock time (in seconds):1.113
o 334
c Got one! Elapsed wall clock time (in seconds):1.129
o 333
c Got one! Elapsed wall clock time (in seconds):1.155
o 332
c Got one! Elapsed wall clock time (in seconds):1.16
o 331
c Got one! Elapsed wall clock time (in seconds):1.491
o 330
c Got one! Elapsed wall clock time (in seconds):1.526
o 329
c Got one! Elapsed wall clock time (in seconds):1.545
o 328
c Got one! Elapsed wall clock time (in seconds):1.568
o 327
c Got one! Elapsed wall clock time (in seconds):1.623
o 326
c Got one! Elapsed wall clock time (in seconds):1.63
o 325
c Got one! Elapsed wall clock time (in seconds):1.635
o 324
c Got one! Elapsed wall clock time (in seconds):1.638
o 323
c Got one! Elapsed wall clock time (in seconds):2.271
o 322
c Got one! Elapsed wall clock time (in seconds):2.352
o 321
c Got one! Elapsed wall clock time (in seconds):2.375
o 320
c Got one! Elapsed wall clock time (in seconds):2.379
o 319
c Got one! Elapsed wall clock time (in seconds):2.386
o 318
c Got one! Elapsed wall clock time (in seconds):2.405
o 317
c Got one! Elapsed wall clock time (in seconds):2.416
o 316
c Got one! Elapsed wall clock time (in seconds):4.426
o 315
c Got one! Elapsed wall clock time (in seconds):5.635
o 314
c Got one! Elapsed wall clock time (in seconds):5.861
o 313
c Got one! Elapsed wall clock time (in seconds):5.922
o 312
c Got one! Elapsed wall clock time (in seconds):5.958
o 311
c Got one! Elapsed wall clock time (in seconds):7.388
o 310
c Got one! Elapsed wall clock time (in seconds):38.26
o 309
c Got one! Elapsed wall clock time (in seconds):47.279
o 308
c Got one! Elapsed wall clock time (in seconds):48.49
o 307
c Got one! Elapsed wall clock time (in seconds):49.334
o 306
c Got one! Elapsed wall clock time (in seconds):49.4
o 305
c Got one! Elapsed wall clock time (in seconds):146.851
o 304
c cleaning 130081 clauses out of 260501
c Got one! Elapsed wall clock time (in seconds):295.866
o 303
c Got one! Elapsed wall clock time (in seconds):346.147
o 302
c cleaning 123059 clauses out of 246419
c Got one! Elapsed wall clock time (in seconds):462.274
o 301
c Got one! Elapsed wall clock time (in seconds):464.499
o 300
c Got one! Elapsed wall clock time (in seconds):465.372
o 299
c cleaning 127030 clauses out of 254362
c Got one! Elapsed wall clock time (in seconds):574.991
o 298
c cleaning 122029 clauses out of 244330
c Got one! Elapsed wall clock time (in seconds):664.437
o 297
c cleaning 126512 clauses out of 253301
c Got one! Elapsed wall clock time (in seconds):760.841
o 296
c cleaning 120009 clauses out of 240291
c cleaning 122881 clauses out of 245780
c cleaning 117441 clauses out of 234899
c cleaning 120464 clauses out of 240959
c cleaning 114740 clauses out of 229494
c cleaning 116619 clauses out of 233255
c cleaning 112049 clauses out of 224135
c cleaning 115288 clauses out of 230587
c Got one! Elapsed wall clock time (in seconds):1578.556
o 295
c cleaning 107889 clauses out of 215798
c Got one! Elapsed wall clock time (in seconds):1659.41
o 294
c cleaning 114167 clauses out of 228410
c cleaning 107607 clauses out of 215243
c Got one! Elapsed wall clock time (in seconds):1809.674
o 293
c cleaning 111811 clauses out of 223635
Killed
1838.681u 0.591s 30:39.21 100.0%	0+0k 0+0io 1pf+0w