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