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