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