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