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