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