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