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