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