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