(1,13) (2,17) (3,5) (4,16) (6,19) (7,30) (8,10) (9,23) (11,18) (12,26) (14,24) (15,22) (20,25) (21,28) (27,29) 
nodes: 5511  conflicts: 58  modelTime: 1999  solveTime: 22346  totalTime: 24368  modelSize: 72266  readTime: 23 size: 15