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