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