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