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