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_C600_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C600_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 600 clauses
c 49 variables cloned. 630 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_C600_0.wcnf.clone_ls_out.1251486125.txt
c ===========================
o 322
c Initial LB: 0
c 	| 0.42    0.42   |  34/49  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/200)
c 	| 0.86    0.44   |  33/49  | 0      nan  0      nan  6       35  0      nan |         4416 | (6/200)
o 321
o 319
o 317
c 	| 1.79    0.93   |  32/49  | 0      nan  0      nan  13      36  0      nan |         9276 | (13/200)
o 315
c 	| 3.66    1.87   |  29/49  | 0      nan  0      nan  17      35  0      nan |        19480 | (17/200)
o 314
o 312
c 	| 7.56    3.90   |  27/49  | 0      nan  0      nan  20      35  0      nan |        40908 | (20/200)
c 	| 15.63   8.07   |  25/49  | 0      nan  0      nan  26      35  0      nan |        85909 | (26/200)
o 311
o 310
c 	| 32.52   16.89  |  24/49  | 0      nan  0      nan  32      34  0      nan |       180409 | (32/200)
o 309
o 307
c 	| 68.30   35.78  |  22/49  | 0      nan  0      nan  41      33  0      nan |       378859 | (41/200)
o 306
c 	| 144.84  76.54  |  21/49  | 0      nan  0      nan  46      33  0      nan |       795604 | (46/200)
c 	| 302.71  157.87 |  19/49  | 0      nan  0      nan  57      31  0      nan |      1670768 | (57/200)
o 304
c 	| 637.67  334.96 |  18/49  | 0      nan  0      nan  64      31  0      nan |      3508615 | (64/200)
o 303
o 301
o 300
1800.368u 22.340s 30:25.52 99.8%	0+0k 0+0io 3pf+0w