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