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