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