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_lo_file_rwms_wcnf_L2_V100_C400_1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C400_1.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 400 clauses
c 36 variables cloned. 323 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_C400_1.wcnf.clone_ls_out.805638686.txt
c ===========================
o 155
c Initial LB: 3
c 	| 0.66    0.66   |  20/36  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/133)
c 	| 1.38    0.72   |  18/36  | 0      nan  0      nan  6       20  0      nan |         4416 | (6/133)
c 	| 2.90    1.52   |  17/36  | 0      nan  0      nan  12      20  0      nan |         9276 | (12/133)
c 	| 6.00    3.10   |  14/36  | 0      nan  0      nan  19      20  0      nan |        19480 | (19/133)
c 	| 12.70   6.70   |  13/36  | 0      nan  0      nan  24      19  0      nan |        40908 | (24/133)
c 	| 26.75   14.05  |  12/36  | 0      nan  0      nan  31      19  0      nan |        85909 | (31/133)
o 154
o 153
c 	| 56.46   29.71  |   9/36  | 0      nan  0      nan  43      18  0      nan |       180409 | (43/133)
c 	| 121.14  64.68  |   8/36  | 0      nan  0      nan  50      18  0      nan |       378859 | (50/133)
c 	| 261.02  139.88 |   6/36  | 0      nan  0      nan  61      16  0      nan |       795604 | (61/133)
o 152
c 	| 535.22  274.20 |   5/36  | 0      nan  0      nan  72      15  0      nan |      1670768 | (72/133)
o 150
c 	| 1136.53 601.31 |   3/36  | 0      nan  0      nan  79      15  0      nan |      3508615 | (79/133)
o 149
o 147
o 145
o 144
o 143
o 141
1809.519u 12.448s 30:25.86 99.7%	0+0k 0+0io 3pf+0w