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_san400_0.7_2.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/san400_0.7_2.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/san400_0.7_2.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.105s.
c #vars     1166
c #constraints  1126
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1126
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.411
o 752
c Got one! Elapsed wall clock time (in seconds):0.445
o 447
c Got one! Elapsed wall clock time (in seconds):0.514
o 446
c Got one! Elapsed wall clock time (in seconds):0.631
o 420
c Got one! Elapsed wall clock time (in seconds):0.894
o 419
c Got one! Elapsed wall clock time (in seconds):0.933
o 402
c Got one! Elapsed wall clock time (in seconds):1.029
o 401
c Got one! Elapsed wall clock time (in seconds):1.037
o 400
c Got one! Elapsed wall clock time (in seconds):1.075
o 399
c Got one! Elapsed wall clock time (in seconds):1.105
o 398
c Got one! Elapsed wall clock time (in seconds):1.123
o 397
c Got one! Elapsed wall clock time (in seconds):1.126
o 382
c Got one! Elapsed wall clock time (in seconds):1.149
o 381
c Got one! Elapsed wall clock time (in seconds):1.157
o 380
c Got one! Elapsed wall clock time (in seconds):1.16
o 379
c Got one! Elapsed wall clock time (in seconds):1.162
o 370
c Got one! Elapsed wall clock time (in seconds):1.171
o 369
c Got one! Elapsed wall clock time (in seconds):1.186
o 368
c Got one! Elapsed wall clock time (in seconds):1.191
o 367
c Got one! Elapsed wall clock time (in seconds):1.194
o 366
c Got one! Elapsed wall clock time (in seconds):1.196
o 363
c Got one! Elapsed wall clock time (in seconds):1.207
o 362
c Got one! Elapsed wall clock time (in seconds):1.209
o 361
c Got one! Elapsed wall clock time (in seconds):1.216
o 360
c Got one! Elapsed wall clock time (in seconds):1.226
o 359
c Got one! Elapsed wall clock time (in seconds):1.231
o 358
c Got one! Elapsed wall clock time (in seconds):1.234
o 357
c Got one! Elapsed wall clock time (in seconds):1.236
o 353
c Got one! Elapsed wall clock time (in seconds):1.255
o 352
c Got one! Elapsed wall clock time (in seconds):1.281
o 351
c Got one! Elapsed wall clock time (in seconds):1.307
o 350
c Got one! Elapsed wall clock time (in seconds):1.314
o 349
c Got one! Elapsed wall clock time (in seconds):1.317
o 348
c Got one! Elapsed wall clock time (in seconds):1.319
o 346
c Got one! Elapsed wall clock time (in seconds):1.322
o 345
c Got one! Elapsed wall clock time (in seconds):1.324
o 344
c Got one! Elapsed wall clock time (in seconds):1.327
o 343
c Got one! Elapsed wall clock time (in seconds):1.329
o 336
c Got one! Elapsed wall clock time (in seconds):1.343
o 335
c Got one! Elapsed wall clock time (in seconds):1.372
o 334
c Got one! Elapsed wall clock time (in seconds):1.384
o 333
c Got one! Elapsed wall clock time (in seconds):1.399
o 332
c Got one! Elapsed wall clock time (in seconds):1.402
o 331
c Got one! Elapsed wall clock time (in seconds):1.405
o 330
c Got one! Elapsed wall clock time (in seconds):1.409
o 329
c Got one! Elapsed wall clock time (in seconds):1.411
o 328
c Got one! Elapsed wall clock time (in seconds):1.413
o 326
c Got one! Elapsed wall clock time (in seconds):1.432
o 325
c Got one! Elapsed wall clock time (in seconds):1.457
o 324
c Got one! Elapsed wall clock time (in seconds):1.46
o 323
c Got one! Elapsed wall clock time (in seconds):1.462
o 319
c Got one! Elapsed wall clock time (in seconds):1.473
o 318
c Got one! Elapsed wall clock time (in seconds):1.515
o 317
c Got one! Elapsed wall clock time (in seconds):1.552
o 316
c Got one! Elapsed wall clock time (in seconds):1.555
o 311
c Got one! Elapsed wall clock time (in seconds):1.579
o 310
c Got one! Elapsed wall clock time (in seconds):1.635
o 309
c Got one! Elapsed wall clock time (in seconds):1.702
o 308
c Got one! Elapsed wall clock time (in seconds):1.71
o 307
c Got one! Elapsed wall clock time (in seconds):1.725
o 306
c Got one! Elapsed wall clock time (in seconds):1.728
o 305
c Got one! Elapsed wall clock time (in seconds):1.73
o 303
c Got one! Elapsed wall clock time (in seconds):1.797
o 302
c Got one! Elapsed wall clock time (in seconds):1.863
o 301
c Got one! Elapsed wall clock time (in seconds):1.882
o 300
c Got one! Elapsed wall clock time (in seconds):1.899
o 299
c Got one! Elapsed wall clock time (in seconds):1.902
o 298
c Got one! Elapsed wall clock time (in seconds):1.932
o 297
c Got one! Elapsed wall clock time (in seconds):1.99
o 296
c Got one! Elapsed wall clock time (in seconds):2.017
o 295
c Got one! Elapsed wall clock time (in seconds):2.026
o 294
c Got one! Elapsed wall clock time (in seconds):2.06
o 293
c Got one! Elapsed wall clock time (in seconds):2.078
o 292
c Got one! Elapsed wall clock time (in seconds):2.081
o 291
c Got one! Elapsed wall clock time (in seconds):2.083
o 290
c Got one! Elapsed wall clock time (in seconds):2.908
o 289
c Got one! Elapsed wall clock time (in seconds):3.291
o 288
c Got one! Elapsed wall clock time (in seconds):3.409
o 287
c Got one! Elapsed wall clock time (in seconds):3.504
o 286
c Got one! Elapsed wall clock time (in seconds):3.508
o 285
c Got one! Elapsed wall clock time (in seconds):4.059
o 284
c Got one! Elapsed wall clock time (in seconds):4.386
o 283
c Got one! Elapsed wall clock time (in seconds):4.578
o 282
c Got one! Elapsed wall clock time (in seconds):4.674
o 281
c Got one! Elapsed wall clock time (in seconds):4.768
o 280
c Got one! Elapsed wall clock time (in seconds):4.852
o 279
c Got one! Elapsed wall clock time (in seconds):4.87
o 278
c Got one! Elapsed wall clock time (in seconds):16.619
o 277
c Got one! Elapsed wall clock time (in seconds):43.351
o 276
c Got one! Elapsed wall clock time (in seconds):49.769
o 275
c Got one! Elapsed wall clock time (in seconds):51.206
o 274
c Got one! Elapsed wall clock time (in seconds):52.411
o 273
c Got one! Elapsed wall clock time (in seconds):73.173
o 272
c Got one! Elapsed wall clock time (in seconds):83.326
o 271
c Got one! Elapsed wall clock time (in seconds):177.448
o 270
c Got one! Elapsed wall clock time (in seconds):227.994
o 269
c cleaning 143140 clauses out of 286501
c Got one! Elapsed wall clock time (in seconds):435.569
o 268
c Got one! Elapsed wall clock time (in seconds):467.815
o 267
c cleaning 134340 clauses out of 268862
c Got one! Elapsed wall clock time (in seconds):521.066
o 266
c Got one! Elapsed wall clock time (in seconds):526.746
o 265
c Got one! Elapsed wall clock time (in seconds):590.86
o 264
c Got one! Elapsed wall clock time (in seconds):600.443
o 263
c cleaning 141912 clauses out of 284021
c Got one! Elapsed wall clock time (in seconds):692.862
o 262
c cleaning 135949 clauses out of 272108
c Got one! Elapsed wall clock time (in seconds):780.52
o 261
c Got one! Elapsed wall clock time (in seconds):784.97
o 260
c Got one! Elapsed wall clock time (in seconds):785.081
o 259
c Got one! Elapsed wall clock time (in seconds):899.573
o 258
c cleaning 140502 clauses out of 281161
c cleaning 134558 clauses out of 269157
c Got one! Elapsed wall clock time (in seconds):1081.559
o 257
c cleaning 136790 clauses out of 273599
c cleaning 131141 clauses out of 262310
c cleaning 133822 clauses out of 267668
c cleaning 125404 clauses out of 250846
c cleaning 128467 clauses out of 256942
c cleaning 120719 clauses out of 241475
c cleaning 126868 clauses out of 253756
c cleaning 117925 clauses out of 235891
c Got one! Elapsed wall clock time (in seconds):1835.526
o 256
Killed
1835.829u 0.628s 30:36.95 99.9%	0+0k 0+0io 1pf+0w