Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_industrial-_home_jplanes_evaluation_benchmarks_partial_industrial_pbo-mqc_nlogencdr_10tree430p.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/pbo-mqc/nlogencdr/10tree430p.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: 4660 vars 16874 clauses
c 502 variables cloned. 12367 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 :10tree430p.wcnf.clone_ls_out.308620118.txt
c ===========================
o 62356
c Initial LB: 0
o 123
o 120
o 118
o 116
o 115
o 111
o 110
o 105
o 104
o 103
o 102
o 101
c 	| 9.49    9.49   |  14/502 | 16664    3  67     113  16      20  684     20 |         2102 | (774/5624)
c 	| 17.82   8.33   |  13/502 | 16664    3  128    113  33      19  1049    19 |         4416 | (1223/5624)
c 	| 29.87   12.05  |  14/502 | 16664    3  208    112  51      19  1368    21 |         9276 | (1642/5624)
o 97
o 93
o 90
c 	| 57.44   27.57  |  13/502 | 16664    3  317    109  91      20  1817    20 |        19480 | (2246/5624)
o 89
o 88
o 84
o 81
c 	| 113.38  55.94  |  12/502 | 16664    3  576    103  161     19  2841    20 |        40908 | (3621/5624)
o 80
o 77
c 	| 222.63  109.25 |  12/502 | 16664    3  913     99  222     20  4258    20 |        85909 | (5452/5624)
o 76
c 	| 468.82  246.19 |   9/502 | 16664    3  1787    95  444     18  7303    19 |       180409 | (3778/6804)
o 73
o 68
c 	| 957.75  488.93 |   9/502 | 16664    3  3096    90  703     18  12571   19 |       378859 | (7327/7484)
o 63
1876.453u 2.751s 31:21.57 99.8%	0+0k 0+0io 3pf+0w