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