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