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