(1,18) (2,28) (3,14) (4,10) (5,16) (6,29) (7,25) (8,11) (9,19) (12,23) (13,20) (15,26) (17,27) (21,24) (22,30) 
nodes: 32595  conflicts: 5  modelTime: 1134  solveTime: 220224  totalTime: 221391  modelSize: 72338  readTime: 32 size: 15