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