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