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