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