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