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