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