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