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