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