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