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