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