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