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