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