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