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