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