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