(1,22) (2,28) (3,5) (4,8) (6,12) (7,10) (9,11) (13,15) (14,25) (16,27) (17,19) (18,26) (20,24) (21,29) (23,30) 
nodes: 134993  conflicts: 51  modelTime: 1717  solveTime: 576687  totalTime: 578424  modelSize: 72268  readTime: 20 size: 15