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