(1,12) (2,15) (3,16) (4,17) (5,19) (6,27) (7,8) (10,25) (11,20) (14,18) (21,24) (26,30) 
nodes: 1055  conflicts: 128  modelTime: 1542  solveTime: 5446  totalTime: 7011  modelSize: 72262  readTime: 23 size: 12