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_brock200_4.clq.cnf Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/brock200_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/brock200_4.clq.cnf c reading problem ... c ... done. Wall clock time 0.101s. c #vars 1068 c #constraints 1028 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1028 c OPTIMIZING... c Got one! Elapsed wall clock time (in seconds):0.383 o 530 c Got one! Elapsed wall clock time (in seconds):0.415 o 326 c Got one! Elapsed wall clock time (in seconds):0.484 o 325 c Got one! Elapsed wall clock time (in seconds):0.56 o 315 c Got one! Elapsed wall clock time (in seconds):0.68 o 314 c Got one! Elapsed wall clock time (in seconds):0.696 o 311 c Got one! Elapsed wall clock time (in seconds):0.743 o 310 c Got one! Elapsed wall clock time (in seconds):0.769 o 300 c Got one! Elapsed wall clock time (in seconds):0.85 o 299 c Got one! Elapsed wall clock time (in seconds):0.866 o 298 c Got one! Elapsed wall clock time (in seconds):0.896 o 297 c Got one! Elapsed wall clock time (in seconds):0.91 o 288 c Got one! Elapsed wall clock time (in seconds):0.927 o 287 c Got one! Elapsed wall clock time (in seconds):0.943 o 286 c Got one! Elapsed wall clock time (in seconds):0.946 o 285 c Got one! Elapsed wall clock time (in seconds):0.948 o 280 c Got one! Elapsed wall clock time (in seconds):0.978 o 279 c Got one! Elapsed wall clock time (in seconds):0.993 o 278 c Got one! Elapsed wall clock time (in seconds):0.997 o 277 c Got one! Elapsed wall clock time (in seconds):0.999 o 272 c Got one! Elapsed wall clock time (in seconds):1.002 o 271 c Got one! Elapsed wall clock time (in seconds):1.027 o 270 c Got one! Elapsed wall clock time (in seconds):1.038 o 269 c Got one! Elapsed wall clock time (in seconds):1.053 o 268 c Got one! Elapsed wall clock time (in seconds):1.057 o 267 c Got one! Elapsed wall clock time (in seconds):1.114 o 266 c Got one! Elapsed wall clock time (in seconds):1.119 o 265 c Got one! Elapsed wall clock time (in seconds):1.12 o 264 c Got one! Elapsed wall clock time (in seconds):1.123 o 263 c Got one! Elapsed wall clock time (in seconds):1.129 o 262 c Got one! Elapsed wall clock time (in seconds):1.171 o 261 c Got one! Elapsed wall clock time (in seconds):1.245 o 260 c Got one! Elapsed wall clock time (in seconds):1.291 o 259 c Got one! Elapsed wall clock time (in seconds):1.309 o 258 c Got one! Elapsed wall clock time (in seconds):1.314 o 257 c Got one! Elapsed wall clock time (in seconds):1.449 o 256 c Got one! Elapsed wall clock time (in seconds):1.626 o 255 c Got one! Elapsed wall clock time (in seconds):1.69 o 254 c Got one! Elapsed wall clock time (in seconds):1.698 o 253 c Got one! Elapsed wall clock time (in seconds):1.708 o 252 c Got one! Elapsed wall clock time (in seconds):1.71 o 250 c Got one! Elapsed wall clock time (in seconds):2.25 o 249 c Got one! Elapsed wall clock time (in seconds):2.561 o 248 c Got one! Elapsed wall clock time (in seconds):2.674 o 247 c Got one! Elapsed wall clock time (in seconds):2.691 o 246 c Got one! Elapsed wall clock time (in seconds):2.984 o 245 c Got one! Elapsed wall clock time (in seconds):3.248 o 244 c Got one! Elapsed wall clock time (in seconds):3.269 o 243 c Got one! Elapsed wall clock time (in seconds):3.272 o 242 c Got one! Elapsed wall clock time (in seconds):3.274 o 241 c Got one! Elapsed wall clock time (in seconds):19.028 o 240 c Got one! Elapsed wall clock time (in seconds):22.906 o 239 c Got one! Elapsed wall clock time (in seconds):78.324 o 238 c Got one! Elapsed wall clock time (in seconds):81.282 o 237 c Got one! Elapsed wall clock time (in seconds):110.309 o 236 c Got one! Elapsed wall clock time (in seconds):114.495 o 235 c Got one! Elapsed wall clock time (in seconds):157.608 o 234 c cleaning 162428 clauses out of 325000 c cleaning 148783 clauses out of 297573 c cleaning 152144 clauses out of 304294 c cleaning 143039 clauses out of 286145 c cleaning 147294 clauses out of 294607 c Got one! Elapsed wall clock time (in seconds):658.409 o 233 c cleaning 141642 clauses out of 283312 c Got one! Elapsed wall clock time (in seconds):792.751 o 232 c cleaning 147318 clauses out of 294670 c cleaning 140912 clauses out of 281852 c Got one! Elapsed wall clock time (in seconds):915.301 o 231 c cleaning 147711 clauses out of 295442 c cleaning 137605 clauses out of 275229 c cleaning 143559 clauses out of 287127 c cleaning 135021 clauses out of 270066 c Got one! Elapsed wall clock time (in seconds):1381.95 o 230 c cleaning 142767 clauses out of 285551 c cleaning 134133 clauses out of 268278 c cleaning 141810 clauses out of 283644 c cleaning 133400 clauses out of 266836 c cleaning 139959 clauses out of 279936 Killed 1837.014u 0.558s 30:41.25 99.7% 0+0k 0+0io 1pf+0w