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