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