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