Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-SAT4J-Maxsat-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_WMAXCUT_DIMACS_MOD_san200_0.7_2.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/san200_0.7_2.clq.wcnf 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.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@7c64dc11 c Learn all clauses as in MiniSAT c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function c Expensive 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/weighted_crafted/WMAXCUT/DIMACS_MOD/san200_0.7_2.clq.wcnf c reading problem ... c ... done. Wall clock time 0.119s. c #vars 1164 c #constraints 1124 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 1124 c OPTIMIZING... c Got one! Elapsed wall clock time (in seconds):0.364 o 1735 c Got one! Elapsed wall clock time (in seconds):0.709 o 1473 c Got one! Elapsed wall clock time (in seconds):0.995 o 1471 c Got one! Elapsed wall clock time (in seconds):1.106 o 1462 c Got one! Elapsed wall clock time (in seconds):1.441 o 1461 c Got one! Elapsed wall clock time (in seconds):1.498 o 1460 c Got one! Elapsed wall clock time (in seconds):1.528 o 1456 c Got one! Elapsed wall clock time (in seconds):1.555 o 1455 c Got one! Elapsed wall clock time (in seconds):1.594 o 1451 c Got one! Elapsed wall clock time (in seconds):1.632 o 1450 c Got one! Elapsed wall clock time (in seconds):1.689 o 1449 c Got one! Elapsed wall clock time (in seconds):1.725 o 1448 c Got one! Elapsed wall clock time (in seconds):1.757 o 1446 c Got one! Elapsed wall clock time (in seconds):14.867 o 1445 c Got one! Elapsed wall clock time (in seconds):14.892 o 1444 c Got one! Elapsed wall clock time (in seconds):14.901 o 1443 c Got one! Elapsed wall clock time (in seconds):14.917 o 1442 c Got one! Elapsed wall clock time (in seconds):14.927 o 1437 c Got one! Elapsed wall clock time (in seconds):14.939 o 1436 c Got one! Elapsed wall clock time (in seconds):14.95 o 1434 c cleaning 164990 clauses out of 330003 c Got one! Elapsed wall clock time (in seconds):282.519 o 1433 c Got one! Elapsed wall clock time (in seconds):346.722 o 1432 c cleaning 143502 clauses out of 287010 c Got one! Elapsed wall clock time (in seconds):376.372 o 1431 c Got one! Elapsed wall clock time (in seconds):377.728 o 1430 c Got one! Elapsed wall clock time (in seconds):396.21 o 1429 c Got one! Elapsed wall clock time (in seconds):441.363 o 1428 c Got one! Elapsed wall clock time (in seconds):445.148 o 1427 c Got one! Elapsed wall clock time (in seconds):445.521 o 1426 c cleaning 148997 clauses out of 298008 c cleaning 120252 clauses out of 240512 c Got one! Elapsed wall clock time (in seconds):572.19 o 1425 c Got one! Elapsed wall clock time (in seconds):606.657 o 1424 c Got one! Elapsed wall clock time (in seconds):615.353 o 1423 c Got one! Elapsed wall clock time (in seconds):625.484 o 1422 c cleaning 145620 clauses out of 291259 c cleaning 140565 clauses out of 281140 c cleaning 142032 clauses out of 284074 c cleaning 136511 clauses out of 273042 c cleaning 137759 clauses out of 275532 c Got one! Elapsed wall clock time (in seconds):1205.687 o 1421 c cleaning 136876 clauses out of 273774 c Got one! Elapsed wall clock time (in seconds):1355.701 o 1420 c Got one! Elapsed wall clock time (in seconds):1355.795 o 1403 c cleaning 130942 clauses out of 261897 c Got one! Elapsed wall clock time (in seconds):1391.778 o 1402 c cleaning 137223 clauses out of 274455 c Got one! Elapsed wall clock time (in seconds):1473.13 o 1401 c Got one! Elapsed wall clock time (in seconds):1506.069 o 1400 c cleaning 106606 clauses out of 213231 c Got one! Elapsed wall clock time (in seconds):1593.822 o 1399 c cleaning 138559 clauses out of 277126 c Got one! Elapsed wall clock time (in seconds):1671.608 o 1398 c cleaning 129279 clauses out of 258567 c cleaning 128634 clauses out of 257287 Killed 1860.745u 1.142s 31:06.07 99.7% 0+0k 0+0io 1pf+0w