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