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