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