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