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