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