(1,12) (2,8) (3,25) (4,21) (5,17) (6,18) (7,27) (9,14) (10,28) (11,22) (13,20) (15,16) (19,30) (23,29) (24,26) 
nodes: 139854  conflicts: 33  modelTime: 1710  solveTime: 636283  totalTime: 638012  modelSize: 72266  readTime: 19 size: 15