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