(1,28) (2,10) (3,22) (4,15) (5,27) (6,19) (7,25) (8,14) (9,24) (11,21) (12,29) (13,23) (16,18) (17,26) (20,30) 
nodes: 3588  conflicts: 4  modelTime: 1662  solveTime: 26848  totalTime: 28600  modelSize: 72338  readTime: 90 size: 15