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