(1,18) (2,24) (3,19) (4,21) (5,26) (6,17) (7,23) (8,27) (9,25) (10,29) (11,20) (12,16) (13,30) (15,22) 
nodes: 1146  conflicts: 21  modelTime: 689  solveTime: 2008  totalTime: 2703  modelSize: 41298  readTime: 6 size: 14