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