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