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