(1,19) (2,27) (3,17) (4,16) (5,12) (6,8) (7,28) (10,11) (13,21) (14,30) (15,18) (20,24) (23,29) 
nodes: 42339  conflicts: 87  modelTime: 1024  solveTime: 91042  totalTime: 92077  modelSize: 72262  readTime: 11 size: 13