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