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