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