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