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