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