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