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