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