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