(1,23) (2,27) (4,22) (5,26) (6,25) (7,30) (8,17) (9,19) (10,16) (11,21) (12,29) (13,18) (14,24) (15,20) 
nodes: 4110  conflicts: 16  modelTime: 1178  solveTime: 11027  totalTime: 12215  modelSize: 41293  readTime: 10 size: 14