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