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_brock800_4.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/brock800_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/brock800_4.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.078s.
c #vars     1036
c #constraints  996
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 996
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.33
o 420
c Got one! Elapsed wall clock time (in seconds):0.378
o 407
c Got one! Elapsed wall clock time (in seconds):0.539
o 406
c Got one! Elapsed wall clock time (in seconds):0.619
o 388
c Got one! Elapsed wall clock time (in seconds):0.851
o 387
c Got one! Elapsed wall clock time (in seconds):0.865
o 385
c Got one! Elapsed wall clock time (in seconds):0.875
o 384
c Got one! Elapsed wall clock time (in seconds):0.909
o 368
c Got one! Elapsed wall clock time (in seconds):0.949
o 367
c Got one! Elapsed wall clock time (in seconds):0.968
o 366
c Got one! Elapsed wall clock time (in seconds):0.985
o 363
c Got one! Elapsed wall clock time (in seconds):1.001
o 362
c Got one! Elapsed wall clock time (in seconds):1.006
o 361
c Got one! Elapsed wall clock time (in seconds):1.009
o 345
c Got one! Elapsed wall clock time (in seconds):1.026
o 344
c Got one! Elapsed wall clock time (in seconds):1.033
o 343
c Got one! Elapsed wall clock time (in seconds):1.036
o 342
c Got one! Elapsed wall clock time (in seconds):1.039
o 340
c Got one! Elapsed wall clock time (in seconds):1.045
o 339
c Got one! Elapsed wall clock time (in seconds):1.048
o 338
c Got one! Elapsed wall clock time (in seconds):1.05
o 324
c Got one! Elapsed wall clock time (in seconds):1.06
o 323
c Got one! Elapsed wall clock time (in seconds):1.075
o 322
c Got one! Elapsed wall clock time (in seconds):1.082
o 321
c Got one! Elapsed wall clock time (in seconds):1.087
o 320
c Got one! Elapsed wall clock time (in seconds):1.09
o 319
c Got one! Elapsed wall clock time (in seconds):1.092
o 311
c Got one! Elapsed wall clock time (in seconds):1.109
o 310
c Got one! Elapsed wall clock time (in seconds):1.111
o 300
c Got one! Elapsed wall clock time (in seconds):1.128
o 299
c Got one! Elapsed wall clock time (in seconds):1.139
o 298
c Got one! Elapsed wall clock time (in seconds):1.155
o 297
c Got one! Elapsed wall clock time (in seconds):1.165
o 296
c Got one! Elapsed wall clock time (in seconds):1.172
o 295
c Got one! Elapsed wall clock time (in seconds):1.189
o 294
c Got one! Elapsed wall clock time (in seconds):1.192
o 293
c Got one! Elapsed wall clock time (in seconds):1.203
o 292
c Got one! Elapsed wall clock time (in seconds):1.306
o 291
c Got one! Elapsed wall clock time (in seconds):1.308
o 284
c Got one! Elapsed wall clock time (in seconds):1.345
o 283
c Got one! Elapsed wall clock time (in seconds):1.38
o 282
c Got one! Elapsed wall clock time (in seconds):1.394
o 281
c Got one! Elapsed wall clock time (in seconds):1.401
o 280
c Got one! Elapsed wall clock time (in seconds):1.403
o 275
c Got one! Elapsed wall clock time (in seconds):1.524
o 274
c Got one! Elapsed wall clock time (in seconds):1.553
o 273
c Got one! Elapsed wall clock time (in seconds):1.572
o 272
c Got one! Elapsed wall clock time (in seconds):1.627
o 271
c Got one! Elapsed wall clock time (in seconds):1.648
o 270
c Got one! Elapsed wall clock time (in seconds):1.658
o 269
c Got one! Elapsed wall clock time (in seconds):1.663
o 268
c Got one! Elapsed wall clock time (in seconds):1.669
o 267
c Got one! Elapsed wall clock time (in seconds):1.672
o 266
c Got one! Elapsed wall clock time (in seconds):1.674
o 265
c Got one! Elapsed wall clock time (in seconds):1.676
o 263
c Got one! Elapsed wall clock time (in seconds):2.317
o 262
c Got one! Elapsed wall clock time (in seconds):2.398
o 261
c Got one! Elapsed wall clock time (in seconds):2.469
o 260
c Got one! Elapsed wall clock time (in seconds):2.515
o 259
c Got one! Elapsed wall clock time (in seconds):2.528
o 258
c Got one! Elapsed wall clock time (in seconds):2.531
o 254
c Got one! Elapsed wall clock time (in seconds):2.607
o 253
c Got one! Elapsed wall clock time (in seconds):2.775
o 252
c Got one! Elapsed wall clock time (in seconds):2.904
o 251
c Got one! Elapsed wall clock time (in seconds):2.925
o 250
c Got one! Elapsed wall clock time (in seconds):2.962
o 249
c Got one! Elapsed wall clock time (in seconds):2.988
o 248
c Got one! Elapsed wall clock time (in seconds):3.009
o 247
c Got one! Elapsed wall clock time (in seconds):3.482
o 246
c Got one! Elapsed wall clock time (in seconds):3.889
o 245
c Got one! Elapsed wall clock time (in seconds):4.084
o 244
c Got one! Elapsed wall clock time (in seconds):4.161
o 243
c Got one! Elapsed wall clock time (in seconds):4.244
o 242
c Got one! Elapsed wall clock time (in seconds):4.25
o 241
c Got one! Elapsed wall clock time (in seconds):4.266
o 240
c Got one! Elapsed wall clock time (in seconds):6.011
o 239
c Got one! Elapsed wall clock time (in seconds):6.052
o 238
c Got one! Elapsed wall clock time (in seconds):9.793
o 237
c Got one! Elapsed wall clock time (in seconds):29.371
o 236
c Got one! Elapsed wall clock time (in seconds):31.488
o 235
c Got one! Elapsed wall clock time (in seconds):31.945
o 234
c Got one! Elapsed wall clock time (in seconds):32.166
o 233
c Got one! Elapsed wall clock time (in seconds):57.673
o 232
c Got one! Elapsed wall clock time (in seconds):65.856
o 231
c Got one! Elapsed wall clock time (in seconds):66.102
o 230
c Got one! Elapsed wall clock time (in seconds):100.926
o 229
c Got one! Elapsed wall clock time (in seconds):213.467
o 228
c Got one! Elapsed wall clock time (in seconds):218.33
o 227
c Got one! Elapsed wall clock time (in seconds):219.216
o 226
c Got one! Elapsed wall clock time (in seconds):219.32
o 225
c Got one! Elapsed wall clock time (in seconds):277.278
o 224
c cleaning 164452 clauses out of 329000
c cleaning 154261 clauses out of 308548
c cleaning 156638 clauses out of 313289
c cleaning 148064 clauses out of 296151
c Got one! Elapsed wall clock time (in seconds):871.274
o 223
c Got one! Elapsed wall clock time (in seconds):948.401
o 222
c cleaning 153783 clauses out of 307585
c cleaning 145894 clauses out of 291804
c cleaning 151685 clauses out of 303408
c cleaning 144344 clauses out of 288723
c cleaning 148933 clauses out of 297879
c cleaning 140703 clauses out of 281447
c Got one! Elapsed wall clock time (in seconds):1504.117
o 221
c cleaning 149106 clauses out of 298243
c cleaning 141815 clauses out of 283638
c cleaning 145636 clauses out of 291322
c cleaning 139333 clauses out of 278686
c Got one! Elapsed wall clock time (in seconds):2018.258
o 220
c cleaning 143167 clauses out of 286353
Killed
1837.368u 0.533s 35:28.25 86.3%	0+0k 0+0io 1pf+0w