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