(1,29) (3,23) (4,22) (5,27) (6,20) (7,26) (8,21) (10,16) (11,19) (12,18) (13,30) (14,17) (15,24) 
nodes: 1227  conflicts: 49  modelTime: 659  solveTime: 1809  totalTime: 2475  modelSize: 41293  readTime: 7 size: 13