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