(1,25) (3,16) (4,20) (5,19) (6,21) (7,29) (9,28) (10,22) (11,24) (12,30) (13,18) (14,17) (15,27) 
nodes: 3013  conflicts: 38  modelTime: 689  solveTime: 6240  totalTime: 6935  modelSize: 41293  readTime: 6 size: 13