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