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