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