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