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