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