Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-weighted_random-_home_jplanes_evaluation_benchmarks_weighted_random_wmax2sat_hi_file_rwms_wcnf_L2_V100_C900_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/hi/file_rwms_wcnf_L2_V100_C900_0.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: 100 vars 900 clauses
c 55 variables cloned. 1039 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 :file_rwms_wcnf_L2_V100_C900_0.wcnf.clone_ls_out.137785964.txt
c ===========================
o 820
c Initial LB: 9
o 672
o 670
o 666
o 664
o 663
o 661
c 	| 0.61    0.61   |  42/55  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/300)
c 	| 1.29    0.68   |  40/55  | 0      nan  0      nan  7       43  0      nan |         4416 | (7/300)
c 	| 2.66    1.37   |  38/55  | 0      nan  0      nan  10      43  0      nan |         9276 | (10/300)
c 	| 5.61    2.95   |  36/55  | 0      nan  0      nan  15      42  0      nan |        19480 | (15/300)
c 	| 11.93   6.32   |  34/55  | 0      nan  0      nan  21      41  0      nan |        40908 | (21/300)
o 660
c 	| 25.10   13.17  |  33/55  | 0      nan  0      nan  27      41  0      nan |        85909 | (27/300)
c 	| 52.47   27.37  |  31/55  | 0      nan  0      nan  33      39  0      nan |       180409 | (33/300)
o 658
o 657
o 654
o 652
o 650
o 648
o 646
c 	| 110.79  58.32  |  29/55  | 0      nan  0      nan  43      39  0      nan |       378859 | (43/300)
c 	| 232.53  121.74 |  27/55  | 0      nan  0      nan  52      37  0      nan |       795604 | (52/300)
c 	| 496.56  264.03 |  26/55  | 0      nan  0      nan  58      37  0      nan |      1670768 | (58/300)
c 	| 1049.29 552.73 |  24/55  | 0      nan  0      nan  65      36  0      nan |      3508615 | (65/300)
o 645
o 643
o 641
o 640
o 638
1809.609u 14.502s 30:24.57 99.9%	0+0k 0+0io 3pf+0w