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