(1,22) (2,25) (3,26) (4,24) (5,27) (6,18) (7,21) (8,16) (9,17) (10,19) (12,23) (13,30) (14,28) (15,20) 
nodes: 2538  conflicts: 26  modelTime: 1194  solveTime: 4705  totalTime: 5908  modelSize: 41298  readTime: 9 size: 14