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