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