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