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