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