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_7.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C600_7.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 47 variables cloned. 621 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_7.wcnf.clone_ls_out.1493464509.txt
c ===========================
o 340
c Initial LB: 0
c 	| 0.59    0.59   |  32/47  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/200)
c 	| 1.20    0.61   |  30/47  | 0      nan  0      nan  7       35  0      nan |         4416 | (7/200)
c 	| 2.58    1.38   |  29/47  | 0      nan  0      nan  10      34  0      nan |         9276 | (10/200)
c 	| 5.51    2.93   |  27/47  | 0      nan  0      nan  17      33  0      nan |        19480 | (17/200)
c 	| 10.98   5.47   |  25/47  | 0      nan  0      nan  25      32  0      nan |        40908 | (25/200)
o 339
c 	| 22.96   11.98  |  24/47  | 0      nan  0      nan  30      32  0      nan |        85909 | (30/200)
o 337
o 336
c 	| 47.02   24.06  |  22/47  | 0      nan  0      nan  37      31  0      nan |       180409 | (37/200)
c 	| 97.70   50.68  |  21/47  | 0      nan  0      nan  45      31  0      nan |       378859 | (45/200)
o 335
o 333
o 331
o 330
o 329
o 326
o 324
c 	| 204.40  106.70 |  19/47  | 0      nan  0      nan  56      30  0      nan |       795604 | (56/200)
o 323
c 	| 422.51  218.11 |  17/47  | 0      nan  0      nan  66      28  0      nan |      1670768 | (66/200)
c 	| 883.19  460.68 |  16/47  | 0      nan  0      nan  74      28  0      nan |      3508615 | (74/200)
o 321
o 320
o 319
o 318
o 314
o 313
o 312
o 311
o 310
o 309
o 307
o 306
o 304
o 303
o 302
o 301
o 299
1806.304u 16.246s 30:25.59 99.8%	0+0k 0+0io 70pf+0w