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