(1,20) (2,16) (3,17) (4,28) (6,24) (7,19) (9,18) (10,26) (11,25) (12,22) (13,30) (14,27) (15,21) 
nodes: 1138  conflicts: 49  modelTime: 661  solveTime: 1001  totalTime: 1668  modelSize: 41293  readTime: 6 size: 13