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