Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-SAT4J-Maxsat-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax3sat_hi_file_rwpms_wcnf_L3_V100_C600_H100_3.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C600_H100_3.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@31d520c4
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/weightedpartial_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C600_H100_3.wcnf
c reading problem ... 
c ... done. Wall clock time 0.078s.
c #vars     700
c #constraints  600
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 600
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.659
o 1553
c Got one! Elapsed wall clock time (in seconds):0.936
o 1552
c Got one! Elapsed wall clock time (in seconds):1.156
o 1551
c Got one! Elapsed wall clock time (in seconds):1.275
o 1550
c Got one! Elapsed wall clock time (in seconds):1.495
o 1549
c Got one! Elapsed wall clock time (in seconds):1.535
o 1548
c Got one! Elapsed wall clock time (in seconds):1.603
o 1547
c Got one! Elapsed wall clock time (in seconds):1.691
o 1546
c Got one! Elapsed wall clock time (in seconds):1.918
o 1545
c Got one! Elapsed wall clock time (in seconds):1.967
o 1544
c Got one! Elapsed wall clock time (in seconds):2.022
o 1543
c Got one! Elapsed wall clock time (in seconds):2.16
o 1542
c Got one! Elapsed wall clock time (in seconds):2.188
o 1541
c Got one! Elapsed wall clock time (in seconds):2.214
o 1540
c Got one! Elapsed wall clock time (in seconds):2.258
o 1539
c Got one! Elapsed wall clock time (in seconds):2.283
o 1538
c Got one! Elapsed wall clock time (in seconds):2.344
o 1537
c Got one! Elapsed wall clock time (in seconds):2.372
o 1536
c Got one! Elapsed wall clock time (in seconds):2.422
o 1535
c Got one! Elapsed wall clock time (in seconds):2.449
o 1534
c Got one! Elapsed wall clock time (in seconds):2.475
o 1533
c Got one! Elapsed wall clock time (in seconds):2.52
o 1532
c Got one! Elapsed wall clock time (in seconds):2.556
o 1530
c Got one! Elapsed wall clock time (in seconds):2.597
o 1529
c Got one! Elapsed wall clock time (in seconds):2.636
o 1528
c Got one! Elapsed wall clock time (in seconds):2.675
o 1527
c Got one! Elapsed wall clock time (in seconds):2.731
o 1526
c Got one! Elapsed wall clock time (in seconds):2.757
o 1525
c Got one! Elapsed wall clock time (in seconds):2.807
o 1524
c Got one! Elapsed wall clock time (in seconds):2.849
o 1523
c Got one! Elapsed wall clock time (in seconds):2.883
o 1522
c Got one! Elapsed wall clock time (in seconds):2.929
o 1521
c Got one! Elapsed wall clock time (in seconds):2.972
o 1520
c Got one! Elapsed wall clock time (in seconds):3.012
o 1519
c Got one! Elapsed wall clock time (in seconds):3.049
o 1518
c Got one! Elapsed wall clock time (in seconds):3.086
o 1517
c Got one! Elapsed wall clock time (in seconds):3.113
o 1516
c Got one! Elapsed wall clock time (in seconds):3.155
o 1515
c Got one! Elapsed wall clock time (in seconds):3.186
o 1514
c Got one! Elapsed wall clock time (in seconds):3.274
o 599
c Got one! Elapsed wall clock time (in seconds):3.349
o 598
c Got one! Elapsed wall clock time (in seconds):3.427
o 597
c Got one! Elapsed wall clock time (in seconds):3.532
o 595
c Got one! Elapsed wall clock time (in seconds):3.616
o 593
c Got one! Elapsed wall clock time (in seconds):3.709
o 592
c Got one! Elapsed wall clock time (in seconds):3.825
o 591
c Got one! Elapsed wall clock time (in seconds):3.971
o 590
c Got one! Elapsed wall clock time (in seconds):4.067
o 589
c Got one! Elapsed wall clock time (in seconds):4.157
o 588
c Got one! Elapsed wall clock time (in seconds):4.287
o 587
c Got one! Elapsed wall clock time (in seconds):4.393
o 586
c Got one! Elapsed wall clock time (in seconds):4.508
o 585
c Got one! Elapsed wall clock time (in seconds):4.608
o 583
c Got one! Elapsed wall clock time (in seconds):4.722
o 582
c Got one! Elapsed wall clock time (in seconds):4.827
o 581
c Got one! Elapsed wall clock time (in seconds):4.961
o 580
c Got one! Elapsed wall clock time (in seconds):5.052
o 578
c Got one! Elapsed wall clock time (in seconds):5.203
o 577
c Got one! Elapsed wall clock time (in seconds):5.325
o 576
c Got one! Elapsed wall clock time (in seconds):5.465
o 575
c Got one! Elapsed wall clock time (in seconds):5.588
o 574
c Got one! Elapsed wall clock time (in seconds):5.703
o 572
c Got one! Elapsed wall clock time (in seconds):5.833
o 571
c Got one! Elapsed wall clock time (in seconds):5.941
o 569
c Got one! Elapsed wall clock time (in seconds):6.092
o 567
c Got one! Elapsed wall clock time (in seconds):6.156
o 235
c Got one! Elapsed wall clock time (in seconds):6.167
o 38
c Got one! Elapsed wall clock time (in seconds):6.176
o 37
c cleaning 577742 clauses out of 1155501
Killed
1826.244u 1.138s 47:26.10 64.2%	0+0k 0+0io 1pf+0w