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