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