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