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