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