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-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-8.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: 277 vars 1931 clauses
c 72 variables cloned. 1894 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-8.net.wcnf.clone_ls_out.532225713.txt
c ===========================
o 115578
c Initial LB: 24367
c 	| 0.64    0.64   |  34/72  | 91       3  0      nan  0      nan  0      nan |         2102 | (0/643)
o 115464
o 115416
c 	| 1.31    0.67   |  33/72  | 91       3  0      nan  4       35  0      nan |         4416 | (4/643)
o 115362
o 115314
c 	| 2.71    1.40   |  32/72  | 91       3  0      nan  15      34  0      nan |         9276 | (15/643)
o 115181
o 115133
o 114758
o 114710
o 114656
o 114608
c 	| 5.68    2.97   |  32/72  | 91       3  0      nan  24      35  0      nan |        19480 | (24/643)
o 114526
o 114478
o 114424
o 114376
o 114243
o 114195
o 113820
o 113772
o 113718
o 113670
c 	| 11.85   6.17   |  31/72  | 91       3  0      nan  31      35  0      nan |        40908 | (31/643)
o 113557
o 113509
o 112664
o 112616
o 112345
o 112297
o 112225
o 112177
o 111906
o 111858
o 111519
o 111471
o 111200
o 111152
c 	| 24.72   12.87  |  30/72  | 91       3  0      nan  43      34  0      nan |        85909 | (43/643)
c 	| 51.74   27.02  |  29/72  | 91       3  0      nan  51      34  0      nan |       180409 | (51/643)
o 110822
o 110774
o 110503
o 110455
c 	| 108.43  56.69  |  28/72  | 91       3  0      nan  62      34  0      nan |       378859 | (62/643)
c 	| 228.23  119.80 |  27/72  | 91       3  0      nan  79      33  0      nan |       795604 | (79/643)
o 110258
o 110241
o 110210
o 110193
o 109939
o 109922
o 109891
o 109874
o 109656
o 109608
c 	| 482.79  254.56 |  27/72  | 91       3  0      nan  93      33  0      nan |      1670768 | (93/643)
c 	| 1021.72 538.93 |  25/72  | 91       3  0      nan  103     33  0      nan |      3508615 | (103/643)
o 109576
o 109305
o 109257
o 109060
o 109043
o 109012
o 108995
o 108741
o 108724
o 108693
o 108676
o 108458
o 108410
1811.582u 13.860s 30:25.26 100.0%	0+0k 0+0io 3pf+0w