(1,18) (2,23) (3,25) (4,21) (5,19) (6,14) (7,20) (8,9) (10,16) (11,24) (12,13) (15,26) (17,30) (22,27) (28,29) 
nodes: 1385  conflicts: 48  modelTime: 1727  solveTime: 7183  totalTime: 8930  modelSize: 72265  readTime: 20 size: 15