(1,23) (2,3) (4,6) (5,8) (7,27) (9,26) (11,12) (13,16) (14,18) (15,20) (19,30) (21,29) (22,24) (25,28) 
nodes: 528788  conflicts: 43  modelTime: 1039  solveTime: 2812733  totalTime: 2813795  modelSize: 72262  readTime: 23 size: 14