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