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