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