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