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