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