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