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-50-2_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-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: 153 vars 1226 clauses
c 40 variables cloned. 1191 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-50-2_network-7.net.wcnf.clone_ls_out.457134993.txt
c ===========================
o 55354
c Initial LB: 9451
o 55216
o 54075
o 53823
o 53094
o 52790
o 52771
o 52598
o 52529
o 52467
o 52452
c 	| 0.46    0.46   |  13/40  | 47       3  0      nan  0      nan  0      nan |         2102 | (0/408)
o 52442
o 52373
o 52311
o 52028
o 51906
o 51654
o 50925
o 50733
o 50664
o 50602
o 50587
c 	| 0.97    0.51   |  12/40  | 47       3  0      nan  9       14  0      nan |         4416 | (9/408)
o 50577
o 50508
o 50446
c 	| 2.22    1.25   |  11/40  | 47       3  0      nan  16      14  0      nan |         9276 | (16/408)
o 50436
o 50367
c 	| 4.75    2.53   |  11/40  | 47       3  0      nan  26      14  0      nan |        19480 | (26/408)
o 50350
o 50281
o 50219
o 50204
o 50194
o 50125
o 50063
o 50053
o 49984
c 	| 10.09   5.34   |  10/40  | 47       3  0      nan  34      13  0      nan |        40908 | (34/408)
o 49910
o 49718
o 49649
o 49587
o 49572
o 49562
o 49493
o 49431
c 	| 20.99   10.90  |   9/40  | 47       3  0      nan  42      13  0      nan |        85909 | (42/408)
o 49421
o 49352
c 	| 43.92   22.93  |   8/40  | 47       3  0      nan  53      13  0      nan |       180409 | (53/408)
o 49327
o 49312
o 49302
o 49233
o 49171
o 49161
o 49092
o 49069
o 49054
o 49044
o 48975
o 48913
o 48903
o 48834
c 	| 91.89   47.97  |   7/40  | 47       3  0      nan  65      12  0      nan |       378859 | (65/408)
o 48784
o 48769
o 48759
o 48690
o 48628
o 48618
o 48549
c 	| 195.32  103.43 |   6/40  | 47       3  0      nan  80      12  0      nan |       795604 | (80/408)
o 48520
o 48397
o 48328
o 48266
o 48251
o 48241
o 48172
o 48110
o 48100
o 48031
o 48011
c 	| 414.30  218.98 |   5/40  | 47       3  0      nan  97      11  0      nan |      1670768 | (97/408)
o 47988
o 47919
o 47857
o 47842
o 47832
o 47763
o 47701
o 47649
o 47634
o 47576
o 47493
1807.618u 16.415s 30:28.20 99.7%	0+0k 0+0io 3pf+0w