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