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