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