(1,24) (2,28) (3,29) (4,22) (5,15) (6,20) (7,21) (8,14) (9,30) (10,11) (12,25) (13,23) (16,27) (17,26) (18,19) 
nodes: 171415  conflicts: 14  modelTime: 1399  solveTime: 830874  totalTime: 832291  modelSize: 72264  readTime: 18 size: 15