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