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