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