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