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