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