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