(1,20) (2,29) (3,17) (4,25) (5,30) (6,19) (7,23) (8,27) (9,28) (10,18) (11,16) (13,26) (14,22) (15,24) 
nodes: 4198  conflicts: 20  modelTime: 657  solveTime: 6627  totalTime: 7290  modelSize: 41292  readTime: 6 size: 14