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