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