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