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