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