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