(1,25) (2,17) (3,26) (4,9) (5,27) (6,19) (7,21) (10,22) (11,20) (12,30) (13,29) (14,23) (15,18) (24,28) 
nodes: 7088  conflicts: 63  modelTime: 2250  solveTime: 32658  totalTime: 34929  modelSize: 72263  readTime: 21 size: 14