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