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