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