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