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