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