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