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