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