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