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