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