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