(1,26) (2,21) (3,15) (4,22) (5,29) (6,25) (8,11) (9,18) (10,27) (12,23) (13,14) (16,20) (19,28) (24,30) 
nodes: 41376  conflicts: 28  modelTime: 946  solveTime: 191619  totalTime: 192576  modelSize: 72269  readTime: 11 size: 14