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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-9.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: 295 vars 2206 clauses
c 75 variables cloned. 2118 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-9.net.wcnf.clone_ls_out.224272661.txt
c ===========================
o 116482
c Initial LB: 21897
o 115409
o 114415
o 113802
o 113712
o 113546
o 113230
o 113180
o 112946
o 111955
o 111342
o 111252
o 111086
o 110770
o 110720
o 110486
c 	| 1.01    1.01   |  36/75  | 96       3  0      nan  0      nan  0      nan |         2102 | (0/735)
o 110337
o 110025
o 109935
o 109769
o 109453
o 109403
o 109169
c 	| 2.07    1.06   |  35/75  | 96       3  0      nan  4       38  0      nan |         4416 | (4/735)
c 	| 4.17    2.10   |  34/75  | 96       3  0      nan  12      38  0      nan |         9276 | (12/735)
o 109048
o 108958
o 108792
o 108476
o 108426
o 108192
c 	| 8.63    4.46   |  33/75  | 96       3  0      nan  18      37  0      nan |        19480 | (18/735)
c 	| 17.87   9.24   |  32/75  | 96       3  0      nan  24      37  0      nan |        40908 | (24/735)
o 108076
o 107760
o 107710
o 107476
o 107466
o 107416
o 107182
c 	| 37.56   19.69  |  31/75  | 96       3  0      nan  40      36  0      nan |        85909 | (40/735)
o 107018
o 106702
o 106652
o 106418
c 	| 79.21   41.65  |  30/75  | 96       3  0      nan  52      35  0      nan |       180409 | (52/735)
o 106244
o 106194
o 105960
c 	| 167.12  87.91  |  29/75  | 96       3  0      nan  70      34  0      nan |       378859 | (70/735)
o 105886
c 	| 382.30  215.18 |  28/75  | 96       3  0      nan  85      34  0      nan |       795604 | (85/735)
o 105853
o 105675
1818.416u 8.814s 30:28.24 99.9%	0+0k 0+0io 3pf+0w