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