(1,5) (2,24) (3,20) (4,12) (6,11) (7,27) (8,17) (9,13) (10,15) (14,19) (16,18) (21,29) (22,25) (23,30) (26,28) 
nodes: 35809  conflicts: 47  modelTime: 1740  solveTime: 200697  totalTime: 202453  modelSize: 72271  readTime: 16 size: 15