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