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