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