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