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_C500_3.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C500_3.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 500 clauses
c 40 variables cloned. 442 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_C500_3.wcnf.clone_ls_out.485161715.txt
c ===========================
o 237
c Initial LB: 5
o 234
o 232
o 228
c 	| 0.71    0.71   |  25/40  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/166)
c 	| 1.49    0.78   |  24/40  | 0      nan  0      nan  4       28  0      nan |         4416 | (4/166)
c 	| 3.06    1.57   |  22/40  | 0      nan  0      nan  10      26  0      nan |         9276 | (10/166)
c 	| 6.21    3.15   |  19/40  | 0      nan  0      nan  14      25  0      nan |        19480 | (14/166)
o 227
o 224
c 	| 12.93   6.72   |  16/40  | 0      nan  0      nan  20      24  0      nan |        40908 | (20/166)
c 	| 27.53   14.60  |  14/40  | 0      nan  0      nan  25      24  0      nan |        85909 | (25/166)
c 	| 58.67   31.14  |  12/40  | 0      nan  0      nan  31      23  0      nan |       180409 | (31/166)
o 223
o 221
c 	| 122.98  64.31  |  10/40  | 0      nan  0      nan  36      23  0      nan |       378859 | (36/166)
c 	| 257.56  134.58 |   9/40  | 0      nan  0      nan  45      21  0      nan |       795604 | (45/166)
c 	| 545.33  287.77 |   7/40  | 0      nan  0      nan  56      19  0      nan |      1670768 | (56/166)
o 219
o 218
o 216
o 211
o 210
o 209
o 208
o 204
o 202
o 201
1807.063u 15.486s 30:22.52 100.0%	0+0k 0+0io 3pf+0w