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