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