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_san200_0.9_2.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/san200_0.9_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/san200_0.9_2.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.118s.
c #vars     1444
c #constraints  1404
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1404
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.462
o 1159
c Got one! Elapsed wall clock time (in seconds):0.529
o 574
c Got one! Elapsed wall clock time (in seconds):0.621
o 573
c Got one! Elapsed wall clock time (in seconds):0.732
o 546
c Got one! Elapsed wall clock time (in seconds):0.95
o 545
c Got one! Elapsed wall clock time (in seconds):0.996
o 544
c Got one! Elapsed wall clock time (in seconds):1.178
o 543
c Got one! Elapsed wall clock time (in seconds):1.189
o 518
c Got one! Elapsed wall clock time (in seconds):1.245
o 517
c Got one! Elapsed wall clock time (in seconds):1.274
o 516
c Got one! Elapsed wall clock time (in seconds):1.284
o 515
c Got one! Elapsed wall clock time (in seconds):1.287
o 496
c Got one! Elapsed wall clock time (in seconds):1.304
o 495
c Got one! Elapsed wall clock time (in seconds):1.307
o 493
c Got one! Elapsed wall clock time (in seconds):1.32
o 492
c Got one! Elapsed wall clock time (in seconds):1.323
o 491
c Got one! Elapsed wall clock time (in seconds):1.326
o 471
c Got one! Elapsed wall clock time (in seconds):1.344
o 470
c Got one! Elapsed wall clock time (in seconds):1.351
o 469
c Got one! Elapsed wall clock time (in seconds):1.362
o 468
c Got one! Elapsed wall clock time (in seconds):1.365
o 449
c Got one! Elapsed wall clock time (in seconds):1.403
o 448
c Got one! Elapsed wall clock time (in seconds):1.426
o 447
c Got one! Elapsed wall clock time (in seconds):1.438
o 446
c Got one! Elapsed wall clock time (in seconds):1.443
o 445
c Got one! Elapsed wall clock time (in seconds):1.446
o 432
c Got one! Elapsed wall clock time (in seconds):1.47
o 431
c Got one! Elapsed wall clock time (in seconds):1.511
o 430
c Got one! Elapsed wall clock time (in seconds):1.514
o 429
c Got one! Elapsed wall clock time (in seconds):1.581
o 428
c Got one! Elapsed wall clock time (in seconds):1.6
o 427
c Got one! Elapsed wall clock time (in seconds):1.605
o 426
c Got one! Elapsed wall clock time (in seconds):1.609
o 412
c Got one! Elapsed wall clock time (in seconds):1.667
o 411
c Got one! Elapsed wall clock time (in seconds):1.76
o 410
c Got one! Elapsed wall clock time (in seconds):1.791
o 409
c Got one! Elapsed wall clock time (in seconds):1.853
o 408
c Got one! Elapsed wall clock time (in seconds):1.862
o 407
c Got one! Elapsed wall clock time (in seconds):1.869
o 406
c Got one! Elapsed wall clock time (in seconds):1.874
o 405
c Got one! Elapsed wall clock time (in seconds):1.878
o 394
c Got one! Elapsed wall clock time (in seconds):1.913
o 393
c Got one! Elapsed wall clock time (in seconds):2.068
o 392
c Got one! Elapsed wall clock time (in seconds):2.196
o 391
c Got one! Elapsed wall clock time (in seconds):2.219
o 390
c Got one! Elapsed wall clock time (in seconds):2.241
o 389
c Got one! Elapsed wall clock time (in seconds):2.252
o 388
c Got one! Elapsed wall clock time (in seconds):2.255
o 381
c Got one! Elapsed wall clock time (in seconds):2.577
o 380
c Got one! Elapsed wall clock time (in seconds):2.859
o 379
c Got one! Elapsed wall clock time (in seconds):2.883
o 378
c Got one! Elapsed wall clock time (in seconds):2.906
o 377
c Got one! Elapsed wall clock time (in seconds):2.909
o 368
c Got one! Elapsed wall clock time (in seconds):3.467
o 367
c Got one! Elapsed wall clock time (in seconds):4.061
o 366
c Got one! Elapsed wall clock time (in seconds):4.147
o 365
c Got one! Elapsed wall clock time (in seconds):4.286
o 364
c Got one! Elapsed wall clock time (in seconds):4.299
o 363
c Got one! Elapsed wall clock time (in seconds):4.321
o 362
c Got one! Elapsed wall clock time (in seconds):4.327
o 361
c Got one! Elapsed wall clock time (in seconds):4.331
o 358
c Got one! Elapsed wall clock time (in seconds):4.701
o 357
c Got one! Elapsed wall clock time (in seconds):5.608
o 356
c Got one! Elapsed wall clock time (in seconds):5.908
o 355
c Got one! Elapsed wall clock time (in seconds):6.148
o 354
c Got one! Elapsed wall clock time (in seconds):6.173
o 353
c Got one! Elapsed wall clock time (in seconds):6.177
o 351
c Got one! Elapsed wall clock time (in seconds):13.449
o 350
c Got one! Elapsed wall clock time (in seconds):14.391
o 349
c Got one! Elapsed wall clock time (in seconds):14.504
o 348
c Got one! Elapsed wall clock time (in seconds):14.538
o 347
c Got one! Elapsed wall clock time (in seconds):14.563
o 346
c Got one! Elapsed wall clock time (in seconds):14.568
o 345
c Got one! Elapsed wall clock time (in seconds):71.67
o 344
c Got one! Elapsed wall clock time (in seconds):100.206
o 343
c Got one! Elapsed wall clock time (in seconds):103.261
o 342
c Got one! Elapsed wall clock time (in seconds):103.654
o 341
c Got one! Elapsed wall clock time (in seconds):103.781
o 340
c cleaning 115570 clauses out of 231501
c Got one! Elapsed wall clock time (in seconds):275.594
o 339
c cleaning 111029 clauses out of 222430
c Got one! Elapsed wall clock time (in seconds):362.163
o 338
c cleaning 114778 clauses out of 229901
c Got one! Elapsed wall clock time (in seconds):485.533
o 337
c cleaning 110132 clauses out of 220623
c Got one! Elapsed wall clock time (in seconds):606.997
o 336
c cleaning 114080 clauses out of 228493
c Got one! Elapsed wall clock time (in seconds):666.1
o 335
c cleaning 108529 clauses out of 217411
c cleaning 110662 clauses out of 221382
c cleaning 104565 clauses out of 209222
c Got one! Elapsed wall clock time (in seconds):1069.779
o 334
c cleaning 107319 clauses out of 214655
c Got one! Elapsed wall clock time (in seconds):1140.545
o 333
c cleaning 100662 clauses out of 201337
c cleaning 105081 clauses out of 210176
c cleaning 100047 clauses out of 200101
c Got one! Elapsed wall clock time (in seconds):1351.538
o 332
c cleaning 105515 clauses out of 211046
c Got one! Elapsed wall clock time (in seconds):1500.592
o 331
c cleaning 100257 clauses out of 200531
c cleaning 103879 clauses out of 207774
c cleaning 99189 clauses out of 198395
c Got one! Elapsed wall clock time (in seconds):1680.212
o 330
c cleaning 103845 clauses out of 207706
c cleaning 98665 clauses out of 197361
Killed
1838.745u 0.619s 30:40.32 99.9%	0+0k 0+0io 1pf+0w