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