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