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