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