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