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