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