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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-7.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: 303 vars 2736 clauses
c 89 variables cloned. 2957 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-7.net.wcnf.clone_ls_out.1754858340.txt
c ===========================
o 124883
c Initial LB: 20364
c 	| 1.28    1.28   |  37/89  | 92       3  0      nan  0      nan  0      nan |         2102 | (0/912)
o 124880
o 124652
c 	| 2.44    1.16   |  36/89  | 92       3  0      nan  8       39  0      nan |         4416 | (8/912)
c 	| 5.20    2.76   |  35/89  | 92       3  0      nan  15      38  0      nan |         9276 | (15/912)
c 	| 10.64   5.44   |  34/89  | 92       3  0      nan  21      38  0      nan |        19480 | (21/912)
c 	| 21.47   10.83  |  34/89  | 92       3  0      nan  35      37  0      nan |        40908 | (35/912)
c 	| 45.37   23.90  |  33/89  | 92       3  0      nan  44      37  0      nan |        85909 | (44/912)
o 124233
o 124047
o 123319
o 123133
o 122994
o 122952
o 122766
c 	| 94.38   49.01  |  33/89  | 92       3  0      nan  57      37  0      nan |       180409 | (57/912)
o 122581
c 	| 197.71  103.33 |  32/89  | 92       3  0      nan  71      37  0      nan |       378859 | (71/912)
o 122367
o 121453
o 121314
o 121086
o 120658
o 120589
o 120567
o 119744
o 119675
o 119605
o 119536
o 119377
o 119308
c 	| 416.36  218.65 |  31/89  | 92       3  0      nan  86      36  0      nan |       795604 | (86/912)
o 119192
o 119123
o 119119
o 118844
c 	| 882.66  466.30 |  29/89  | 92       3  0      nan  98      36  0      nan |      1670768 | (98/912)
o 118202
o 118133
o 117410
o 117341
o 117135
o 117066
o 116950
o 116881
o 116649
o 116580
o 116374
o 116305
o 116189
o 116120
1819.393u 8.584s 30:31.10 99.8%	0+0k 0+0io 3pf+0w