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