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