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