(1,16) (2,18) (3,23) (4,24) (5,26) (6,9) (7,29) (8,25) (10,27) (11,15) (12,17) (13,20) (14,21) (19,30) (22,28) 
nodes: 317537  conflicts: 84  modelTime: 962  solveTime: 1057316  totalTime: 1058290  modelSize: 72263  readTime: 11 size: 15