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