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