(1,26) (3,17) (4,20) (5,30) (6,27) (7,24) (8,28) (9,18) (10,23) (11,16) (12,25) (13,21) (14,19) (15,22) 
nodes: 4001  conflicts: 45  modelTime: 654  solveTime: 6320  totalTime: 6981  modelSize: 41298  readTime: 7 size: 14