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