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