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