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