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