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