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