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