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