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