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