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