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