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