(1,6) (3,27) (4,5) (7,18) (8,17) (9,12) (10,20) (11,24) (14,19) (15,22) (16,28) (21,25) (23,26) (29,30) 
nodes: 4384  conflicts: 47  modelTime: 940  solveTime: 15184  totalTime: 16135  modelSize: 72265  readTime: 11 size: 14