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