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