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