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