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