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