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