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