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