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