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