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