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