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