Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_crafted-_home_jplanes_evaluation_benchmarks_partial_crafted_MAXONE_3SAT_cnf3.150.350.558417.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.350.558417.cnf.wcnf
Job solver: /home/jplanes/evaluation/solvers/KnotPipatsrisawat/clone.sh
c ===========================
c  Clone
c  MAX-SAT solver 
c  Automated Reasoning Group
c  UCLA          
c ===========================
c Instance stats: 150 vars 500 clauses
c 74 variables cloned. 661 clones generated.
c 	+=======================================================Clone===========================+
c 	| Time (s)      | Pruning  | Hard        Prune       Summary     Conflict   | Next Restart |
c 	| Total  Incmtl | Best lvl | Cls    LPC  Cls    LPC  Cls    LPC  Cls    LPC | Pruning      |
c 	+=======================================================Clone===========================+
c ===========================
c Calling maxwalksat
c ls_out is :cnf3.150.350.558417.cnf.wcnf.clone_ls_out.832426834.txt
c ===========================
o 31
c Initial LB: 1
c 	| 0.16    0.16   |  27/74  | 350      3  18      28  12      35  0      nan |         2102 | (34/166)
c 	| 0.34    0.18   |  24/74  | 350      3  32      28  24      33  1       28 |         4416 | (71/166)
c 	| 0.76    0.42   |  22/74  | 350      3  99      28  87      32  6       28 |         9276 | (136/182)
c 	| 1.56    0.80   |  21/74  | 350      3  268     28  238     33  20      29 |        19480 | (199/242)
c 	| 3.26    1.70   |  18/74  | 350      3  521     28  415     32  36      27 |        40908 | (267/321)
c 	| 6.90    3.64   |  17/74  | 350      3  953     28  750     32  84      27 |        85909 | (378/468)
c 	| 14.73   7.83   |  15/74  | 350      3  2005    28  1435    31  185     25 |       180409 | (310/826)
c 	| 31.18   16.45  |  12/74  | 350      3  3813    28  2573    30  344     24 |       378859 | (730/1326)
c 	| 66.39   35.21  |  12/74  | 350      3  7448    28  4823    29  647     23 |       795604 | (1372/2132)
c 	| 143.98  77.59  |  10/74  | 350      3  12189   28  7929    28  996     22 |      1670768 | (2499/3119)
o 30
1791.527u 31.097s 30:27.56 99.7%	0+0k 0+0io 3pf+0w