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