(1,27) (2,22) (5,16) (6,30) (7,20) (8,21) (9,18) (10,26) (11,17) (12,25) (13,24) (15,19) 
nodes: 1790  conflicts: 36  modelTime: 658  solveTime: 3008  totalTime: 3672  modelSize: 41298  readTime: 6 size: 12