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