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