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