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