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