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