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