(1,10) (2,29) (3,22) (4,26) (5,21) (6,12) (7,23) (8,15) (9,18) (11,30) (13,19) (14,28) (20,24) (25,27) 
nodes: 7053  conflicts: 40  modelTime: 958  solveTime: 21449  totalTime: 22418  modelSize: 72264  readTime: 11 size: 14