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