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