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