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