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_C700_H100_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_0.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_C700_H100_0.wcnf
c reading problem ... 
c ... done. Wall clock time 0.088s.
c #vars     800
c #constraints  700
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 700
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.492
o 1856
c Got one! Elapsed wall clock time (in seconds):0.856
o 1855
c Got one! Elapsed wall clock time (in seconds):1.018
o 1854
c Got one! Elapsed wall clock time (in seconds):1.395
o 1853
c Got one! Elapsed wall clock time (in seconds):1.582
o 1852
c Got one! Elapsed wall clock time (in seconds):1.719
o 1851
c Got one! Elapsed wall clock time (in seconds):1.842
o 1850
c Got one! Elapsed wall clock time (in seconds):2.081
o 1849
c Got one! Elapsed wall clock time (in seconds):2.163
o 1848
c Got one! Elapsed wall clock time (in seconds):2.232
o 1847
c Got one! Elapsed wall clock time (in seconds):2.261
o 1846
c Got one! Elapsed wall clock time (in seconds):2.371
o 574
c Got one! Elapsed wall clock time (in seconds):2.454
o 573
c Got one! Elapsed wall clock time (in seconds):2.542
o 572
c Got one! Elapsed wall clock time (in seconds):2.657
o 570
c Got one! Elapsed wall clock time (in seconds):2.756
o 569
c Got one! Elapsed wall clock time (in seconds):2.839
o 568
c Got one! Elapsed wall clock time (in seconds):2.93
o 567
c Got one! Elapsed wall clock time (in seconds):3.02
o 566
c Got one! Elapsed wall clock time (in seconds):3.108
o 564
c Got one! Elapsed wall clock time (in seconds):3.19
o 563
c Got one! Elapsed wall clock time (in seconds):3.271
o 562
c Got one! Elapsed wall clock time (in seconds):3.362
o 560
c Got one! Elapsed wall clock time (in seconds):3.441
o 559
c Got one! Elapsed wall clock time (in seconds):3.548
o 558
c Got one! Elapsed wall clock time (in seconds):3.64
o 556
c Got one! Elapsed wall clock time (in seconds):3.727
o 555
c Got one! Elapsed wall clock time (in seconds):3.822
o 553
c Got one! Elapsed wall clock time (in seconds):3.93
o 552
c Got one! Elapsed wall clock time (in seconds):4.026
o 551
c Got one! Elapsed wall clock time (in seconds):4.118
o 549
c Got one! Elapsed wall clock time (in seconds):4.216
o 548
c Got one! Elapsed wall clock time (in seconds):4.313
o 547
c Got one! Elapsed wall clock time (in seconds):4.409
o 545
c Got one! Elapsed wall clock time (in seconds):4.54
o 544
c Got one! Elapsed wall clock time (in seconds):4.658
o 543
c Got one! Elapsed wall clock time (in seconds):4.781
o 542
c Got one! Elapsed wall clock time (in seconds):4.91
o 541
c Got one! Elapsed wall clock time (in seconds):5.018
o 540
c Got one! Elapsed wall clock time (in seconds):5.163
o 539
c Got one! Elapsed wall clock time (in seconds):5.286
o 538
c Got one! Elapsed wall clock time (in seconds):5.428
o 537
c Got one! Elapsed wall clock time (in seconds):5.527
o 536
c Got one! Elapsed wall clock time (in seconds):5.639
o 532
c Got one! Elapsed wall clock time (in seconds):5.755
o 530
c Got one! Elapsed wall clock time (in seconds):5.875
o 529
c Got one! Elapsed wall clock time (in seconds):5.976
o 528
c Got one! Elapsed wall clock time (in seconds):6.106
o 527
c Got one! Elapsed wall clock time (in seconds):6.233
o 525
c Got one! Elapsed wall clock time (in seconds):6.34
o 524
c Got one! Elapsed wall clock time (in seconds):6.478
o 523
c Got one! Elapsed wall clock time (in seconds):6.601
o 522
c Got one! Elapsed wall clock time (in seconds):6.744
o 521
c Got one! Elapsed wall clock time (in seconds):6.863
o 520
c Got one! Elapsed wall clock time (in seconds):6.969
o 519
c Got one! Elapsed wall clock time (in seconds):7.117
o 516
c Got one! Elapsed wall clock time (in seconds):7.262
o 515
c Got one! Elapsed wall clock time (in seconds):7.394
o 514
c Got one! Elapsed wall clock time (in seconds):7.55
o 513
c Got one! Elapsed wall clock time (in seconds):7.676
o 511
c Got one! Elapsed wall clock time (in seconds):7.806
o 507
c Got one! Elapsed wall clock time (in seconds):7.929
o 506
c Got one! Elapsed wall clock time (in seconds):8.123
o 505
c Got one! Elapsed wall clock time (in seconds):8.273
o 504
c Got one! Elapsed wall clock time (in seconds):8.436
o 503
c Got one! Elapsed wall clock time (in seconds):8.573
o 502
c Got one! Elapsed wall clock time (in seconds):8.752
o 501
c Got one! Elapsed wall clock time (in seconds):8.903
o 500
c Got one! Elapsed wall clock time (in seconds):9.071
o 499
c Got one! Elapsed wall clock time (in seconds):9.229
o 498
c Got one! Elapsed wall clock time (in seconds):9.399
o 497
c Got one! Elapsed wall clock time (in seconds):9.547
o 496
c Got one! Elapsed wall clock time (in seconds):9.688
o 495
c Got one! Elapsed wall clock time (in seconds):9.845
o 493
c Got one! Elapsed wall clock time (in seconds):9.892
o 153
c cleaning 490000 clauses out of 980000
c cleaning 441001 clauses out of 882002
c cleaning 407497 clauses out of 814999
c cleaning 331747 clauses out of 663503
c cleaning 344375 clauses out of 688756
c cleaning 292686 clauses out of 585380
Killed
1840.302u 1.093s 30:45.59 99.7%	0+0k 0+0io 1pf+0w