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