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