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