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