(1,8) (2,20) (3,23) (4,9) (5,29) (6,10) (7,12) (11,17) (13,26) (14,28) (15,18) (16,30) (19,25) (21,24) (22,27) 
nodes: 121166  conflicts: 46  modelTime: 1715  solveTime: 532032  totalTime: 533768  modelSize: 72263  readTime: 20 size: 15