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