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