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