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