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