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