(1,25) (2,19) (3,21) (4,28) (5,10) (6,24) (7,16) (8,22) (9,15) (11,14) (12,23) (13,27) (17,30) (18,20) (26,29) 
nodes: 4301  conflicts: 38  modelTime: 1724  solveTime: 21483  totalTime: 23229  modelSize: 72265  readTime: 22 size: 15