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