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