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