(1,29) (2,27) (3,24) (4,16) (5,30) (6,26) (7,20) (8,23) (9,19) (10,18) (11,28) (12,21) (14,25) (15,17) 
nodes: 36145  conflicts: 20  modelTime: 1202  solveTime: 113702  totalTime: 114914  modelSize: 41293  readTime: 9 size: 14