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