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