Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-100-2_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-4.net.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: 284 vars 1935 clauses
c 81 variables cloned. 1968 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 :random-net-100-2_network-4.net.wcnf.clone_ls_out.798448167.txt
c ===========================
o 117612
c Initial LB: 24261
o 117434
o 117055
o 116761
o 116351
o 115350
o 115229
o 114984
o 114605
o 114311
o 113901
o 112900
o 112429
o 112148
o 111147
o 110676
c 	| 0.73    0.73   |  37/81  | 94       3  0      nan  0      nan  0      nan |         2102 | (0/645)
c 	| 1.41    0.68   |  35/81  | 94       3  0      nan  7       38  0      nan |         4416 | (7/645)
o 110368
o 110087
o 109086
o 108615
o 108505
o 108034
c 	| 2.86    1.45   |  34/81  | 94       3  0      nan  14      38  0      nan |         9276 | (14/645)
o 107647
o 107537
o 107066
c 	| 5.81    2.95   |  33/81  | 94       3  0      nan  22      38  0      nan |        19480 | (22/645)
c 	| 11.99   6.18   |  32/81  | 94       3  0      nan  31      37  0      nan |        40908 | (31/645)
o 106687
c 	| 24.95   12.96  |  30/81  | 94       3  0      nan  40      37  0      nan |        85909 | (40/645)
o 106483
o 106012
o 105902
o 105431
c 	| 52.53   27.58  |  30/81  | 94       3  0      nan  48      36  0      nan |       180409 | (48/645)
o 105305
o 104834
o 104724
o 104253
c 	| 110.58  58.05  |  29/81  | 94       3  0      nan  63      35  0      nan |       378859 | (63/645)
o 104131
o 104021
o 103550
c 	| 234.77  124.19 |  28/81  | 94       3  0      nan  75      35  0      nan |       795604 | (75/645)
o 103504
o 103033
o 102911
o 102801
o 102330
c 	| 496.83  262.06 |  26/81  | 94       3  0      nan  87      34  0      nan |      1670768 | (87/645)
o 102234
o 101763
o 101684
c 	| 1049.94 553.11 |  26/81  | 94       3  0      nan  100     34  0      nan |      3508615 | (100/645)
o 101562
o 101452
o 100981
1811.978u 14.028s 30:26.42 99.9%	0+0k 0+0io 3pf+0w