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