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