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