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