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