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