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