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