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