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