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