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