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