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