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